Author: Fischer, Bernd
Similar Items: Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- Reducing communication in distributed model checking
- A comparison of two different model checking techniques
- An LTL verification system based on automata theory
- Optimised constraint solving for real-world problems
- Validation of a microkernel : a case study