4 ms·
Maude is a good one, too. The K Framework people built on Maude. Then, they built the formal semantics of C on it which they use to prove absence of specific er
by nickpsecurity 3y ago
Maude is a good one, too. The K Framework people built on Maude. Then, they built the formal semantics of C on it which they use to prove absence of specific errors. Shows how practically useful these things can be.
- fithisux 3y agoUnfortunately, the official documentation is not very good.