Author: Justin

30
May
2021
Posted in Blog

Automating Formal Proofs For Reactive Systems

Implementing systems in test wizards like Coq and demonstrating their accuracy with all the formal details has…

Justin 0 Comment on Automating Formal Proofs For Reactive Systems