Previous Up Next

7  Software

Proof Assistants : COQ

Design by contract - Deductive Program Verification : Principalmente why3, mas também Frama-C

Model checking: Uppaal

Model based Specification and Verification: Atelier B


Previous Up Next