Formal verification of pipeline control using controlled token nets and abstract interpretation.

Pei-Hsin Ho Adrian J. Isles Timothy Kam

Published in: ICCAD (1998)

Keyphrases

formal verification
model checking
abstract interpretation
model checker
symbolic model checking
automated verification
temporal logic
bounded model checking
static analysis
termination analysis
formal specification
formal methods