martin-fraenzle documents

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Documents Efficient Proof Engines for Bounded Model Checking of Hybrid Systems
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Documents Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
Visual temporal logic as a rapid prototyping tool
Documents Visual temporal logic as a rapid prototyping tool