Login / Signup

A Verification Toolkit for Numerical Transition Systems - Tool Paper.

Hossein HojjatFilip KonecnýFlorent GarnierRadu IosifViktor KuncakPhilipp Rümmer
Published in: FM (2012)
Keyphrases
  • transition systems
  • model checking
  • concurrent systems
  • temporal logic
  • model checker
  • formal verification
  • distributed systems
  • finite state
  • formal methods
  • practical reasoning
  • learning algorithm
  • control flow