On Combining Formal and Informal Verification.

Jun Yuan Jian Shen Jacob A. Abraham Adnan Aziz

Published in: CAV (1997)

Keyphrases

formal methods
formal analysis
model checking
combining multiple
data mining
formal model
database
data sets
information systems
face recognition
probabilistic model
software engineering
formal specification
verification method
concurrent systems