Integrating Model Checking and Theorem Proving in a Reflective Functional Language

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-24756-2_3
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Potential Synergies of Theorem Proving and Model Checking for Software Product Lines

2014English

ELIOS-OBJ Theorem Proving in a Specification Language

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

Theorem Proving for Prenex Gödel Logic With Delta: Checking Validity and Unsatisfiability

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Pengembangan Perangkat Pembelajaran Geometri Ruang Dengan Model Proving Theorem

Kreano, Jurnal Matematika Kreatif-Inovatif
2016English

Automated Theorem Proving in a Chat Environment

EasyChair Preprints
2018English

Cryptographically Sound Theorem Proving

English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Theorem Proving in Higher Order Logics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

SMTtoTPTP – A Converter for Theorem Proving Formats

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy