Previous Up Next

8  Software

Proof Assistants : COQ

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

Model checking: Uppaal

E se houver tempo

Atelier B


Previous Up Next