C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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