Formal Hardware Verification - Methods and Systems in Comparison

Formalizing space shuttle software requirements: four case studies

ACM Transactions on Software Engineering and Methodology (TOSEM)

Simulation-guided property checking based on a multi-valued AR-automata

Proceedings of the conference on Design, automation and test in Europe

A visual approach to validating system level designs

Proceedings of the 15th international symposium on System Synthesis

Comparing HOL and MDG: a case study on the verification of an ATM switch fabric

Nordic Journal of Computing

Formal methods @ runtime

FOCS'10 Proceedings of the 16th Monterey conference on Foundations of computer software: modeling, development, and verification of adaptive systems