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…