Login / Signup
A Formal Verification Methodology for DDD Mode Pacemaker Control Programs.
Sana Shuja
Sudarshan K. Srinivasan
Shaista Jabeen
Dharmakeerthi Nawarathna
Published in:
J. Electr. Comput. Eng. (2015)
Keyphrases
</>
formal verification
program slicing
model checking
control system
control structures
control program
neural network
control method
model checker
symbolic model checking
automated verification
computer programs
bounded model checking
knowledge base
optimal control
automatic programming