Formal Verification of the VAMP Floating Point Unit Christian JacobiChristoph Berg OriginalPaper Pages: 227 - 266
Checking Timed Büchi Automata Emptiness Efficiently Stavros TripakisSergio YovineAhmed Bouajjani OriginalPaper Pages: 267 - 292
Stepwise Development of Process-Algebraic Specifications in Decorated Trace Semantics T. KarviM. TienariR. Kaivola OriginalPaper Pages: 293 - 317
Reduced Models for Efficient CCS Verification Roberto BarbutiNicoletta De FrancescoGigliola Vaglini OriginalPaper Pages: 319 - 350