Login / Signup

Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing.

Takuro KutsunaYoshinao Ishii
Published in: FMICS-AVoCS (2016)
Keyphrases
  • bounded model checking
  • model checking
  • formal verification
  • temporal logic
  • program slicing
  • linear temporal logic
  • multi agent systems
  • max sat