Login / Signup

Cubicle: A Parallel SMT-Based Model Checker for Parameterized Systems - Tool Paper.

Sylvain ConchonAmit GoelSava KrsticAlain MebsoutFatiha Zaïdi
Published in: CAV (2012)
Keyphrases
  • formal methods
  • model checker
  • genetic algorithm
  • model checking
  • expert systems
  • evolutionary algorithm
  • data model
  • rough sets
  • distributed systems
  • temporal logic