Login / Signup

Property-Driven Fence Insertion Using Reorder Bounded Model Checking.

Saurabh JoshiDaniel Kroening
Published in: FM (2015)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • linear temporal logic
  • data driven
  • multi agent systems
  • data sets
  • real time
  • case study
  • multi agent
  • domain specific
  • search tree