Login / Signup

Deduction-Based Formal Verification of Requirements Models with Automatic Generation of Logical Specifications.

Radoslaw Klimek
Published in: ENASE (Selected Papers) (2012)
Keyphrases
  • formal verification
  • automated verification
  • model checking
  • bounded model checking
  • model checker
  • probabilistic model
  • orders of magnitude
  • functional requirements
  • complex systems
  • program slicing