Home
>
Teams
>
Pacss
>
Research Topics
>
Research Topics
Research Topics
Verification by automata and acceleration-based approaches
Security properties evaluation
Proofs of correctness using Coq
Code analysis for vulnerability detection
Abstract interpretation and decision procedures
Browsing
Sections
Teams
Synchrone
Tempo
Pacss
Current members
Partners
Research Topics
Publications
Projects
Tools
Jobs and Internships
Rsd
Verimag
Dissemination
How to reach us
Site Map
Search:
Contact
|
Site Map
|
Site powered by SPIP 3.0.22
+
AHUNTSIC
[CC License]
info visites
703972
English
Français
