Thematic Categories
List of all Publications
1)
Algorithmic Program Verification
1.1)
Regular Model Checking
1.2)
Bisimulation
1.3)
Stochastic Infinite State Systems
1.4)
Parameterized Systems
1.5)
Lossy Channel Systems
1.6)
General Verification Theories for Infinite State Systems
1.7)
Efficient Algorithms
1.8)
Sat-based Model Checking
