Author: Inggs, Cornelia P.
Similar Items: Concrete and symbolic linearisability checking of non-blocking concurrent data structures
- An LTL verification system based on automata theory
- Design and evaluation of a formula cache for SMT-based bounded model checking tools
- Reducing communication in distributed model checking
- A comparison of two different model checking techniques
- Comparative analysis of legislation governing maintenance check flight of aircraft
- Soft-decision decoding of moderate length binary cycle codes based on parity-check transformation