Sign in
Protocol Specification, Testing and Verification XV, by Piotr Dembinski and Marek Sredniawa (Editors), Chapman and Hall, 1996 (Book Review).
Mark B. Josephs
Published in:
Softw. Test. Verification Reliab. (1998)
Keyphrases
</>
protocol specification
communication protocols
formal specification
formal methods
test generation
databases
software engineering
symbolic execution
open source
test cases
model checking
formal verification
transformation rules