Solver for ALFP - a generalization of Horn theories
Verifier for security protocols based on static analysis - builds on Succinct Solver
Verifier for security protocols based on symbolic model checking
Set-based abstraction for security protocols - builds on ProVerif and SPASS
Min-max rational equation solver through strategy iteration
Evaluation and Reduction of Ordinary Differential Equations
Distributed Statistical Model Checking for Discrete Event Simulators
Quantitative modeling and analysis of highly (re)configurable systems