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
News
Conferences
September 28 - October 2, 2020
AlgoTel et CoRes 2020
November 18-21, 2020
SSS 2020
New publications
Recent Publications
Jobs and internships
Jobs and internships
Browsing
Sections
Verimag
Teams
Synchrone
Tempo
Pacss
Current members
Partners
Research Topics
Publications
Projects
Tools
Jobs and Internships
RSD
Contact
Site Map
Building Access
Contact
|
Site Map
|
Site powered by SPIP 3.1.12
+
AHUNTSIC
[CC License]
info visites
1575111
English
Français
