From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models.

Radoslaw Klimek

Published in: SEFM (2013)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
functional requirements
complex systems
statistical models
requirements engineering
model checker
symbolic model checking
neural network
artificial intelligence
temporal logic
formal specification
specification language