New: tlaplus

fuzz-ai (52)in programming • 6 years ago
Reproducing a Memory-Tracking Bug with TLA+
I was interested in a first project for getting familiar with TLA+ , “a high-level language for modelling programs and systems.” TLA+ has been used to find errors in the design of real-world…
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Disagreement on rewards
Fraud or plagiarism
Hate speech or trolling
Miscategorized content or spam

Submit
$0.00
0