Model-Based Design and Verification of Reactive Systems.

Jirí Hýsek Milan Ceska Vladimír Janousek

Published in: EUROCAST (2009)

Keyphrases

model checking
reactive systems
case study
database systems
formal methods
training data
low cost
formal verification