Login / Signup
Formal Verification of FIRE: A Case Study.
Jae-Young Jang
Shaz Qadeer
Matt Kaufmann
Carl Pixley
Published in:
DAC (1997)
Keyphrases
</>
formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
case study
program slicing
coloured petri nets
temporal logic
test bed
description language