Proceedings of the third workshop on Formal methods in software practice - FMSP '00
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

158113262x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Software synthesis and applications (abstract only)

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351139 ◽

2000 ◽

Author(s):

Douglas R. Smith

Keyword(s):

Software Synthesis

Download Full-text

Fault origin adjudication

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351132 ◽

2000 ◽

Cited By ~ 4

Author(s):

Karthikeyan Bhargavan ◽

Carl A. Gunter ◽

Davor Obradovic

Download Full-text

Using predicate abstraction to reduce object-oriented programs for model checking

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351125 ◽

2000 ◽

Cited By ~ 22

Author(s):

William Visser ◽

SeungJoon Park ◽

John Penix

Keyword(s):

Model Checking ◽

Object Oriented ◽

Predicate Abstraction

Download Full-text

DSD

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351158 ◽

2000 ◽

Cited By ~ 10

Author(s):

Nils Klarlund ◽

Anders Moller ◽

Michael I. Schwartzbach

Download Full-text

Specification, validation, and synthesis of email agent controllers

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351126 ◽

2000 ◽

Cited By ~ 4

Author(s):

Robert J. Hall

Download Full-text

Using TAME to prove invariants of automata models

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351127 ◽

2000 ◽

Cited By ~ 6

Author(s):

Myla Archer ◽

Constance Heitmeyer ◽

Elvinia Riccobene

Download Full-text

Completeness in formal specification language design for process-control systems

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351140 ◽

2000 ◽

Cited By ~ 26

Author(s):

Nancy Leveson

Keyword(s):

Process Control ◽

Control Systems ◽

Formal Specification ◽

Specification Language ◽

Language Design ◽

Process Control Systems ◽

Formal Specification Language

Download Full-text

Model checking Java programs

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351124 ◽

2000 ◽

Author(s):

David Dill

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Completeness in formal specification language design for process-control systems

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351142 ◽

2000 ◽

Cited By ~ 1

Author(s):

E.-R. Olderog ◽

A. P. Ravn

Keyword(s):

Process Control ◽

Control Systems ◽

Formal Specification ◽

Specification Language ◽

Language Design ◽

Process Control Systems ◽

Formal Specification Language

Download Full-text

Formal modeling of active network nodes using PVS

Proceedings of the third workshop on Formal methods in software practice - FMSP '00 ◽

10.1145/349360.351130 ◽

2000 ◽

Cited By ~ 4

Author(s):

Cindy Kong ◽

P. Alexander ◽

Darryl Dieckman

Keyword(s):

Active Network ◽

Formal Modeling ◽

Network Nodes

Download Full-text

Proceedings of the third workshop on Formal methods in software practice - FMSP '00Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Software synthesis and applications (abstract only)

Fault origin adjudication

Using predicate abstraction to reduce object-oriented programs for model checking

DSD

Specification, validation, and synthesis of email agent controllers

Using TAME to prove invariants of automata models

Completeness in formal specification language design for process-control systems

Model checking Java programs

Completeness in formal specification language design for process-control systems

Formal modeling of active network nodes using PVS

Proceedings of the third workshop on Formal methods in software practice - FMSP '00
Latest Publications