On Formal Definition and Analysis of Formal Verification Processes.

Leon J. Osterweil

Published in: Specification, Algebra, and Software (2014)

Keyphrases

formal verification
data analysis
data sets
process model
database
neural network
multi agent systems
image analysis
software development
model checking