Combining model checking and theorem proving

Combining model checking and theorem proving

Bibliographic Details
Main Author:	Amjad, Hasan
Published:	University of Cambridge 2004
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.616074

Similar Items

A hybrid tool for linking HOL theorem proving with MDG model checking
by: Mizouni, Rabeb
Published: (2003)

Combining Theorem Proving and Model Checking in the Safety-Critical Software Development through Translating Event-B to SMV
by: Sen Liang, et al.
Published: (2017-01-01)

GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK
by: May Thu Aung, et al.
Published: (2018-08-01)

GUESSING, MODEL CHECKING AND THEOREM PROVING OF STATE MACHINE PROPERTIES – A CASE STUDY ON QLOCK
by: May Thu Aung, et al.
Published: (2018-08-01)

Formal probabilistic analysis using theorem proving
by: Hasan, Osman
Published: (2008)

Computer algebra and theorem proving
by: Ballarin, Clemens Michael
Published: (1999)

Automatic Geometry Theorem Proving
by: Wan-Ching Shih, et al.
Published: (2002)

Theorem proving with the real numbers
by: Harrison, John Robert
Published: (1996)

On Quantified Modal Theorem Proving for Modeling Ethics
by: Naveen Sundar Govindarajulu, et al.
Published: (2019-12-01)

Resolution Theorem Proving in Reified Model Logics
by: Aitken, J., et al.
Published: (1994)

Formal Analysis of Soft Errors using Theorem Proving
by: Sofiène Tahar, et al.
Published: (2013-07-01)

Gröbner Basis and Geometry Theorem Proving
by: Hsiao-ming Sung, et al.
Published: (2004)

Algebraic Methods for Proving Geometric Theorems
by: Redman, Lynn
Published: (2019)

Clause detection in resolution theorem proving /
by: Gelperin, David Hausmann
Published: (1973)

Automated theorem proving in elementary geometry
by: Alfredo Ferro, et al.
Published: (1988-11-01)

Integrating Testing and Interactive Theorem Proving
by: Harsh Raju Chamarthi, et al.
Published: (2011-10-01)

Machine learning and automated theorem proving
by: Bridge, J. P.
Published: (2010)

Another look at automated theorem-proving
by: Koblitz Neal
Published: (2007-12-01)

Mechanized Geometry Theorem Proving System
by: Chia-Hsin Chan, et al.
Published: (2006)

A study on parallel theorem proving
by: LIU, LONG-LONG, et al.
Published: (1986)

Declarative theorem proving for operational semantics
by: Syme, Donald Robert
Published: (1999)

Interactive theorem proving and program extraction
by: Hou, Tie
Published: (2014)

Toward a Theorem Proving Architecture
by: Lien, Sheue-Ling C.
Published: (1981)

Formal reasoning about systems biology using theorem proving.
by: Adnan Rashid, et al.
Published: (2017-01-01)

A combination of geometry theorem proving and nonstandard analysis, with application to Newton's Principia
by: Fleuriot, Jacques Désiré
Published: (1999)

Formal verification of Matrix based MATLAB models using interactive theorem proving
by: Ayesha Gauhar, et al.
Published: (2021-03-01)

Parallel semantic tree theorem proving with resolutions
by: Kim, Choon Kyu, 1963-
Published: (2004)

Applications of Foundational Proof Certificates in theorem proving
by: Blanco Martínez, Roberto
Published: (2017)

Information-Theoretic Analysis using Theorem Proving
by: Mhamdi, Tarek
Published: (2012)

Automated Theorem Proving for General Game Playing
by: Haufe, Sebastian
Published: (2012)

Studies in the completeness and efficiency of theorem-proving by resolution
by: Kowalski, Robert Anthony
Published: (1970)

User interaction widgets for interactive theorem proving
by: Zacchiroli, Stefano <1979>
Published: (2007)

Metalevel and reflexive extension in mechanical theorem proving
by: Matthews, S.
Published: (1994)

Another look at automated theorem-proving II
by: Koblitz Neal
Published: (2012-02-01)

Application of computer algebra to geometry theorem proving
by: Po-Wen Fang, et al.
Published: (2006)

Machine-assisted theorem-proving for software engineering
by: Martin, Andrew Philip
Published: (1994)

Automatic theorem proving programs and group presentations
by: Gill, David Michael
Published: (1995)

Automated Theorem Proving : Resolution vs. Tableaux
by: Folkler, Andreas
Published: (2002)

A unit resolution theorem proving system
by: LeQuesne, Peter Neave
Published: (2011)

Theorem-proving distributed algorithms with dynamic analysis
by: Ne Win, Toh, 1979-
Published: (2006)