Login / Signup

Formal verification of systems with an unlimited number of components.

Pavlína VarekováBarbora ZimmerovaPavel MoravecIvana 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