Login / Signup

The VerCors Tool for Verification of Concurrent Programs.

Stefan BlomMarieke Huisman
Published in: FM (2014)
Keyphrases
  • concurrent programs
  • process algebra
  • concurrent systems
  • model checking
  • artificial intelligence
  • building blocks
  • formal methods
  • asynchronous circuits
  • database systems
  • temporal logic
  • concurrent programming