Login / Signup
Generating Logical Specifications from Requirements Models for Deduction-based Formal Verification.
Radoslaw Klimek
Published in:
CoRR (2014)
Keyphrases
</>
formal verification
model checker
model checking
functional requirements
bounded model checking
automated verification
probabilistic model
complex systems
model selection
statistical models