Alternative Approaches to Symbolic Verification - Preface by the Section Editor.
Rance CleavelandPublished in: Int. J. Softw. Tools Technol. Transf. (2001)
Keyphrases
- alternative approaches
- model checking
- symbolic representation
- international workshop
- neural network
- neural learning
- formal verification
- signature verification
- connectionist learning
- real time
- face verification
- formal analysis
- multi agent
- database systems
- asynchronous circuits
- computer vision
- high security
- multimodal biometrics
- concurrent systems
- symbolic description
- information retrieval