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
Author: Fischer, Bernd
- Concept-based exploration of rich semi-structured data collections
- Test case generation for context free grammars
- Coverage directed algorithms for test suite construction from LR-automata
- Scaling the ConceptCloud browser to very large semi-structured data sets: architecture and data completion
- Design and evaluation of a formula cache for SMT-based bounded model checking tools