Efficient verification of periodic programs using sequential consistency and snapshots.

Sagar Chaki Arie Gurfinkel Nishant Sinha

Published in: FMCAD (2014)

Keyphrases

computer programs
real world
formal verification
hardware designs
real time
databases
machine learning
information systems
case study
search space
cost effective
model checking
pattern mining
signature verification
automatic programming