Formal Methods and the Certification of Critical Systems

Formal Methods and the Certification of Critical Systems (1993)

Cached

Download Links

by John Rushby

Citations:

BibTeX

@MISC{Rushby93formalmethods,
    author = {John Rushby},
    title = {Formal Methods and the Certification of Critical Systems},
    year = {1993}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

2605	Graph-based algorithms for Boolean function manipulation - Bryant - 1986
1219	An axiomatic basis for computer programming - Hoare - 1969
1085	Automatic verification of finite-state concurrent systems using temporal logic specifications - Clarke, Emerson, et al. - 1986
999	The temporal logic of programs - Pnueli - 1977
926	A computing procedure for quantification theory - Davis, Putnam - 1960
829	A Machine–oriented Logic Based on the Resolution Principle - Robinson - 1965
765	The temporal logic of actions - Lamport
627	A companion to modal logic - Hughes, Cresswell - 1984
593	Introduction to Metamathematics - Kleene - 1971
552	Modal Logic: an Introduction - Chellas - 1980
539	A Mathematical Introduction to Logic - Enderton - 1972
505	A Computational Logic - Boyer, Moore - 1979
490	PVS: A prototype verification system - Owre, Rushby, et al. - 1992
488	L.J.: Symbolic model checking: 10 20 states and beyond - Burch, Clarke, et al. - 1992
381	A Computational Logic Handbook - Boyer, Moore - 1988
352	Simplification by cooperating decision procedures - Nelson, Oppen - 1979
342	Constructive Analysis - Bishop, Bridges - 1985
312	Binary decision diagrams - Akers - 1978
213	A really temporal logic - Alur, TA - 1994
195	Mathematical Logic - Shoenfield - 1967
187	Introducing Z: a Specification Language and its Formal Semantics - Spivey - 1988
184	Melham, editors. Introduction to HOL: A Theorem Proving Environment for Higher Order Logic - Gordon, F - 1993
163	Specifying Real-Time Properties with Metric Temporal Logic - Koymans - 1990
155	2002, Computability and Logic - Boolos, Burgess, et al.
152	Initial algebra semantics and continuous algebras - Goguen, Thatcher, et al. - 1977
143	Deciding combinations of theories - Shostak - 1982
136	Logic for Computer Science: Foundations of Automatic Theorem - Gallier - 1986
134	Non-Standard Analysis - Robinson - 1980
122	Scattering Theory - Lax, Phillips - 1967
118	Automated deduction by theory resolution - Stickel - 1985
105	A Logical Approach to Discrete Math - Gries, Schenider - 1993
103	The algebraic specification of abstract data types - Guttag, Horning - 1978
96	Variations on the common subexpression problem - Downey, Sethi, et al. - 1980
92	Relevance logic and entailment - Dunn - 1986
87	Principia Mathematica - Whitehead, Russell - 1962
86	Formal hardware verification methods: A survey. J Formal Methods Syst Des 1:151–238 - Gupta - 1992
85	Why higher-order logic is a good formalism for specifying and verifying hardware - Gordon - 1985
84	The Development of Logic - Kneale, Kneale - 1962
82	Modelling knowledge and action in distributed systems - Halpern, Fagin - 1989
76	imps: An Interactive Mathematical Proof System - Farmer, Guttman, et al. - 1993
75	An overview of the MIZAR project - Rudnicki - 1992
72	A partial functions version of Church's simple theory of types - Farmer - 1990
70	A Unification Algorithm for Associative-Commutative Functions - Stickel - 1981
69	Edinburgh LCF: A Mechanized Logic - Gordon, Milner, et al. - 1979
64	A Mathematical Incompleteness in Peano Arithmetic, in Handbook for Mathematical Logic - Paris, Harrington - 1977
62	A practical decision procedure for arithmetic with functional symbols - Shostak - 1979
59	Axiomatic Set Theory - Suppes - 1960
56	Wildavsky A. Cultural Theory - Thompson, Ellis - 1990
55	OTTER-2.0 user's guide - McCune - 1990
54	On the usability of logics which handle partial functions - Cheng, Jones - 1991