FMSP 2000: Portland, Oregon, USA

Mats Per Erik Heimdahl (Ed.): Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA. ACM 2000, ISBN 1-58113-262-X BibTeX

David L. Dill:
Model checking Java programs. 1
Electronic Edition (ACM DL) BibTeX
Willem Visser, Seungjoon Park, John Penix:
Using predicate abstraction to reduce object-oriented programs for model checking. 3-182
Electronic Edition (ACM DL) BibTeX
Robert J. Hall:
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. 13-23
Electronic Edition (ACM DL) BibTeX
Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene:
Using TAME to prove invariants of automata models: Two case studies. 25-36
Electronic Edition (ACM DL) BibTeX
W. B. Martin, P. D. White, W. Mark Vanfleet:
Government, industry, and academia: Teaming to design high confidence information security applications. 37-47
Electronic Edition (ACM DL) BibTeX
Cindy Kong, Perry Alexander, Darryl D. Dieckman:
Formal modeling of active network nodes using PVS. 49-59
Electronic Edition (ACM DL) BibTeX
Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic:
Fault origin adjudication. 61-71
Electronic Edition (ACM DL) BibTeX
Douglas R. Smith:
Software synthesis and applications (abstract only). 73
Electronic Edition (ACM DL) BibTeX
Nancy G. Leveson:
Completeness in formal specification language design for process-control systems. 75-87
Electronic Edition (ACM DL) BibTeX
Ernst-Rüdiger Olderog, Anders P. Ravn:
Completeness in formal specification language design for process-control systems. 89-100
Electronic Edition (ACM DL) BibTeX
Nils Klarlund, Anders Møller, Michael I. Schwartzbach:
DSD: A schema language for XML. 101-111
Electronic Edition (ACM DL) BibTeX