Model checking semi-continuous time models using BDDs
- Sérgio Campos
- Márcio Teixeira
- et al.
- 2001
- Electronic Notes in Theoretical Computer Science
Publications
4 results for Edmund M. Clarke
Verifying the SRT division algorithm using theorem proving techniques
- Edmund M. Clarke
- Steven M. German
- et al.
- 1999
- Formal Methods in System Design
Reasoning about procedures as parameters in the language L4
- Steven M. German
- Edmund M. Clarke
- et al.
- 1989
- Information and Computation
Distributed reconfiguration strategies for fault-tolerant multiprocessor systems
- Edmund M. Clarke
- Christos N. Nikolaou
- 1982
- IEEE TC