Formal Verification of a Timing Enforcer Implementation.

Sagar Chaki Dionisio de Niz

Published in: ACM Trans. Embed. Comput. Syst. (2017)

Keyphrases

formal verification
model checking
implementation details
symbolic model checking
automated verification
neural network
learning algorithm
software development
real time
knowledge representation
rough sets
efficient implementation
integer programming
asynchronous circuits
bounded model checking
program slicing