Login / Signup
Using Contracts to Guide the Search-Based Verification of Concurrent Programs.
Christopher M. Poskitt
Simon M. Poulding
Published in:
SSBSE (2013)
Keyphrases
</>
concurrent programs
search algorithm
search space
model checking
formal methods
process algebra
database
real time
machine learning
asynchronous circuits
information systems
natural language
expert systems