Abstract Models and Cognitive Mismatch in Formal Verification.

Rimvydas Ruksenas Paul Curzon

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2011)

Keyphrases

formal verification
statistical models
model checking
decision making
parameter estimation
probabilistic model
information processing
computational models
decision trees
prior knowledge
hidden markov models
software engineering
model selection