Login / Signup

DiVinE 3.0 - An Explicit-State Model Checker for Multithreaded C & C++ Programs.

Jiri BarnatLubos BrimVojtech HavelJan HavlícekJan KrihoMilan LencoPetr RockaiVladimír StillJirí Weiser
Published in: CAV (2013)
Keyphrases
  • model checker
  • model checking
  • temporal logic
  • state space
  • description language
  • formal methods
  • formal verification
  • general purpose
  • orders of magnitude
  • tabu search
  • transition systems