Website
Main Researcher
Kais Klai
Contact Person
Damiano Mazza
Contact Person Email
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
Partner
UNIVERSITE PARIS 13