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