Checking properties of safety critical specifications using efficient decision procedures

Authors:
David Y. W. Park;Jens U. Skakkebæk;Mats P. E. Heimdahl;Barbara J. Czerny;David L. Dill
Affiliations:
Computer Science Department, Stanford University, Stanford, CA;Computer Science Department, Stanford University, Stanford, CA;Department of Computer Science, University of Minnesota, Minneapolis, MN;Department of Computer Science, Michigan State University, East Lansing, MI;Computer Science Department, Stanford University, Stanford, CA
Venue:
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
Year:
1998

Citing 14
Cited 4

Statecharts: A visual formalism for complex systems

Science of Computer Programming
On the development of reactive systems

Logics and models of concurrent systems
Software Requirements Analysis for Real-Time Process-Control Systems

IEEE Transactions on Software Engineering
Requirements Specification for Process-Control Systems

IEEE Transactions on Software Engineering
Formal Methods Reality Check: Industrial Usage

IEEE Transactions on Software Engineering
Completeness and Consistency in Hierarchical State-Based Requirements

IEEE Transactions on Software Engineering - Special issue: best papers of the 17th International Conference on Software Engineering (ICSE-17)
Automated consistency checking of requirements specifications

ACM Transactions on Software Engineering and Methodology (TOSEM)
Model checking large software specifications

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
A Practical Decision Procedure for Arithmetic with Function Symbols

Journal of the ACM (JACM)
Simplification by Cooperating Decision Procedures

ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic Generation of Invariants in Processor Verification

FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
Validity Checking for Combinations of Theories with Equality

FMCAD '96 Proceedings of the First International Conference on Formal Methods in Computer-Aided Design
PVS: Combining Specification, Proof Checking, and Model Checking

CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
Using PVS to analyze hierarchical state-based requirements for completeness and consistency

HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop

A Codesign Approach for Safety-Critical Automotive Applications

IEEE Micro
Symbolic Functional Evaluation

TPHOLs '99 Proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics
Structural Embeddings: Mechanization with Method

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
Formal Methods For Developing High Assurance Computer Systems: Working Group Report

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques

Quantified Score

Hi-index	0.00

Checking properties of safety critical specifications using efficient decision procedures

Quantified Score

Visualization

Abstract