C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
FMSP
1998
1999
2000
1998
2000
Keyphrases
Publications
2000
David L. Dill
Model checking Java programs.
FMSP
(2000)
Ernst-Rüdiger Olderog
,
Anders P. Ravn
Completeness in formal specification language design for process-control systems.
FMSP
(2000)
Douglas R. Smith
Software synthesis and applications (abstract only).
FMSP
(2000)
Robert J. Hall
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design.
FMSP
(2000)
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA
FMSP
(2000)
Willem Visser
,
Seungjoon Park
,
John Penix
Using predicate abstraction to reduce object-oriented programs for model checking.
FMSP
(2000)
Nils Klarlund
,
Anders Møller
,
Michael I. Schwartzbach
DSD: A schema language for XML.
FMSP
(2000)
Nancy G. Leveson
Completeness in formal specification language design for process-control systems.
FMSP
(2000)
Karthikeyan Bhargavan
,
Carl A. Gunter
,
Davor Obradovic
Fault origin adjudication.
FMSP
(2000)
W. B. Martin
,
P. D. White
,
W. Mark Vanfleet
Government, industry, and academia: Teaming to design high confidence information security applications.
FMSP
(2000)
Cindy Kong
,
Perry Alexander
,
Darryl D. Dieckman
Formal modeling of active network nodes using PVS.
FMSP
(2000)
Myla Archer
,
Constance L. Heitmeyer
,
Elvinia Riccobene
Using TAME to prove invariants of automata models: Two case studies.
FMSP
(2000)
1998
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA
FMSP
(1998)
Bruno Mermet
,
Dominique Méry
Service specifications: to B, or not to B.
FMSP
(1998)
Martin S. Feather
Low-cost pathways towards formal methods use.
FMSP
(1998)
John Penix
,
Dale E. Martin
,
Peter Frey
,
Ramanan Radhakrishnan
,
Perry Alexander
,
Philip A. Wilsey
Experiences in verifying parallel simulation algorithms.
FMSP
(1998)
Sten Agerholm
,
Pierre-Jean Lecoeur
,
Etienne Reichert
Formal specification and validation at work: a case study using VDM-SL.
FMSP
(1998)
Helmut Melcher
,
Klaus Winkelmann
Controller synthesis for the "production cell" case study.
FMSP
(1998)
Matthew B. Dwyer
,
George S. Avrunin
,
James C. Corbett
Property specification patterns for finite-state verification.
FMSP
(1998)
Steven P. Miller
Specifying the mode logic of a flight guidance system in CoRE and SCR.
FMSP
(1998)
David Y. W. Park
,
Jens U. Skakkebæk
,
Mats Per Erik Heimdahl
,
Barbara J. Czerny
,
David L. Dill
Checking properties of safety critical specifications using efficient decision procedures.
FMSP
(1998)
Joachim Thees
,
Reinhard Gotzhein
The experimental Estelle Compiler: automatic generation of implementations from formal specifications.
FMSP
(1998)
Gerard J. Holzmann
Designing executable abstractions.
FMSP
(1998)
Jakob Lyng Petersen
Automatic verification of railway interlocking systems: a case study.
FMSP
(1998)
Constance L. Heitmeyer
,
James Kirby
,
Bruce G. Labaw
Applying the SCR requirements method to a weapons control panel: an experience report.
FMSP
(1998)
Liang Chen
Verification of an audio control protocol within real time process algebra.
FMSP
(1998)