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