Excellence Hubs
Logistics and Applied Data Science to Statistics
Website
Main Researcher
Kais KlaiContact Person
Damiano MazzaContact 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