List of papers accepted to the Workshop on Advances in Verification (WAVe) 2000
Thursday, July 20th, 2000
FRONT MATTER
Cover-page (1) of the Wave Proceedings
Editorial pages (2)
THE PAPERS
"Formal Verification of a MPEG Decoder Chip"
, Avi Parash
paper.pdf
"Formal Verification of Register Binding"
, Claudia Blank
paper.pdf
"Verifying Randomized Distributed Algorithms with PRISM"
, Marta Kwiatkowska, Gethin Norman, and David Parker
paper.pdf
"Verifying Soft Deadlines with Probabilistic Timed Automata"
, Marta Kwiatkowska, Gethin Norman, Roberto Segala, and Jeremy Sproston
paper.pdf
"Java Path Finder: Second Generation of a Java Model Checker"
, Guillaume Brat, Klaus Havelund, SeungJoon Park, and Willem Visser
paper.pdf
"Meta-BDDs: an automaton model for symbolic breadth-first manipulation of Binary Decision Diagrams"
, Gianpiero Cabodi
paper.pdf
"Checking Temporal Properties of Software with Boolean Programs"
, Thomas Ball, Sriram K. Rajamani
paper.pdf
"Proof Planning for Hardware Verification"
, Andrew Ireland
paper.pdf
"A heuristic for the automatic generation of ranking functions"
, Dennis Dams, Rob Gerth, Orna Grumberg
paper.pdf
"Automating Partition Proofs"
, Mandayam Srivas
paper.pdf
"Reasoning about PCI using algorithmic and deductive methods"
, Michael Jones, Ganesh Gopalakrishnan
paper.pdf
"Compositional Verification Using Interface Recognizer/Suppliers (IRS)"
, M. S. Jahanpour, E. Cerny
paper.pdf
"A formalization of test model-checking - Completeness Results and Case Studies"
, Ganesh Gopalakrishnan
paper.pdf