A linear-time model-checking algorithm for the alternation-free modal mu-calculus Rance CleavelandBernhard Steffen OriginalPaper Pages: 121 - 147
Using partial orders for the efficient verification of deadlock freedom and safety properties Patrice GodefroidPierre Wolper OriginalPaper Pages: 149 - 164
Structuring and automating hardware proofs in a higher-order theorem-proving environment Ramayya KumarKlaus SchneiderThomas Kropf OriginalPaper Pages: 165 - 223