Login / Signup

Using Contracts to Guide the Search-Based Verification of Concurrent Programs.

Christopher M. PoskittSimon 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