Abstract is missing.
- Model checking Java programsDavid L. Dill. 1 [doi]
- Using predicate abstraction to reduce object-oriented programs for model checkingWillem Visser, Seungjoon Park, John Penix. 3-182 [doi]
- Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system designRobert J. Hall. 13-23 [doi]
- Using TAME to prove invariants of automata models: Two case studiesMyla Archer, Constance L. Heitmeyer, Elvinia Riccobene. 25-36 [doi]
- Government, industry, and academia: Teaming to design high confidence information security applicationsW. B. Martin, P. D. White, W. Mark Vanfleet. 37-47 [doi]
- Formal modeling of active network nodes using PVSCindy Kong, Perry Alexander, Darryl D. Dieckman. 49-59 [doi]
- Fault origin adjudicationKarthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic. 61-71 [doi]
- Software synthesis and applications (abstract only)Douglas R. Smith. 73 [doi]
- Completeness in formal specification language design for process-control systemsNancy G. Leveson. 75-87 [doi]
- Completeness in formal specification language design for process-control systemsErnst-Rüdiger Olderog, Anders P. Ravn. 89-100 [doi]
- DSD: A schema language for XMLNils Klarlund, Anders Møller, Michael I. Schwartzbach. 101-111 [doi]