Re:Formal methods: Just good engineering practice?
by jgalt212 on Monday June 24, 2024 @06:00AM
(#40774154)
> doesn't mean when the algorithm gets actually implemented in C, it still maps to TLA+ as proven.
So true, but you know what would be amazing and useful? A TLA+ spec transpiler that emits fuzzing code. That would probably be easier to make than TLA+ spec transpiler that emits C.
So true, but you know what would be amazing and useful? A TLA+ spec transpiler that emits fuzzing code. That would probably be easier to make than TLA+ spec transpiler that emits C.