Login / Signup
Formal verification of systems with an unlimited number of components.
Pavlína Vareková
Barbora Zimmerova
Pavel Moravec
Ivana Cerná
Published in:
IET Softw. (2008)
Keyphrases
</>
formal verification
management system
small number
building blocks
model checking
automated verification
computational complexity
software development
intelligent systems
complex systems
symbolic model checking