Login / Signup

A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar.

Loren SegalPatrice Chalin
Published in: VSTTE (2012)
Keyphrases
  • expressive power
  • real time
  • data sets
  • probabilistic model
  • statistical analysis
  • model checking