Excellence Hubs
No
Research Lines
No
Website
Keywords
Domain-specific verification (Cloud, Blockchain, DES, business processes, security)
Abstraction and modularity
Model checking
Service composition
Formal verification
Concurrent and distributed systems
State space explosion
Contact Person Email
Contact Person
Damiano Mazza
Main Researcher
Kais Klai
Partner
UNIVERSITE PARIS 13