A Framework for the Verification of Parameterized Infinite-State Systems.

Francesco Alberti Silvio Ghilardi Natasha Sharygina

Published in: CILC (2014)

Keyphrases

conceptual framework
probabilistic model
main contribution
learning systems
theoretical framework
automated verification
information systems
expert systems
hidden markov models
management system
distributed systems
computer systems
complex systems
model checking
formal methods