Login / Signup

SATMC: A SAT-Based Model Checker for Security-Critical Systems.

Alessandro ArmandoRoberto CarboneLuca Compagna
Published in: TACAS (2014)
Keyphrases
  • formal methods
  • model checker
  • model checking
  • image analysis
  • fuzzy logic
  • building blocks
  • information systems
  • training set
  • distributed systems
  • binary images
  • formal verification
  • symbolic model checking