ProVerB — SLEBoK

Lobsters·2 points·edoput·over 2 years ago·slebok.github.io

Read the full article at slebok.github.io →

#proverb #slebok #formalmethods

Related stories

TLA+ modeling tipsmuratbuffalo.blogspot.com
Lobsters · 22 points · 10 months ago
Finding bugs in systems through formalizationandy.hammerhartes.de
Lobsters · 8 points · over 8 years ago
An Introduction to TLA+ and Its Use in Partiesinnoq.com
Lobsters · 30 points · over 3 years ago
Autoformalization with Large Language Modelsarxiv.org
Lobsters · 2 points · over 4 years ago
Aeneas: Rust Verification by Functional Translationarxiv.org
Lobsters · 6 points · over 4 years ago
Lambda MicroEggphilipzucker.com
Lobsters · 28 points · 11 days ago

Related topics

formalmethods18