Guest editors' introduction: Advancements and extensions of verification techniques.
Joost-Pieter KatoenPerdita StevensPublished in: Int. J. Softw. Tools Technol. Transf. (2004)
Keyphrases
- virtual machine
- model checking
- special issue
- information processing
- databases
- high security
- asynchronous circuits
- test generation
- formal verification
- signature verification
- expert systems
- formal methods
- formal analysis
- similarity measure
- database systems
- artificial intelligence
- learning algorithm
- database
- concurrent systems
- false acceptance