Formale Verifikation von Spezifikations-Modellen (Formal Verification of Specification Models).

Published in: Informationstechnik Tech. Inform. (2001)

Keyphrases

formal verification
model checking
statistical models
experimental data
bounded model checking
prior knowledge
knowledge representation
symbolic model checking
data sets
artificial intelligence
artificial neural networks
probabilistic model
rough sets
model selection
orders of magnitude
reactive systems