Formal methods: resources
FORMAL VERIFICATION OF PROBABILISTIC SYSTEMS
Luca de Alfaro, 1987
Automated Verification Techniques for Probabilistic Systems
「型の理論」 入門 (7) Curry-Howard対応(2)「型の理論」と「証明の理論」
Tools
AVISPA
Tamarin
#Formal_verification
#Resources