Verification System for Formal Requirements Description.
Kiyoshi AgusaAtsushi OhnishiYutaka OhnoPublished in: ICSE (1982)
Keyphrases
- formal methods
- formal analysis
- high level
- requirements specification
- verification method
- face verification
- user requirements
- data mining
- grid workflow
- application specific
- model checking
- data sets
- search algorithm
- multi agent
- formal verification
- formal representation
- dynamic aspects
- multiscale
- decision making
- functional verification