Login / Signup
Modeling and formal verification of the Fairisle ATM switch fabricusing MDGs.
Sofiène Tahar
Xiaoyu Song
Eduard Cerny
Zijian Zhou
Michel Langevin
Otmane Aït Mohamed
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1999)
Keyphrases
</>
formal verification
model checking
functional verification
symbolic model checking
automated verification
high speed
model checker
bounded model checking
orders of magnitude
first order logic
temporal logic
atm networks