Automated theorem proving in software engineering

Authors:
Affiliations:
Venue:
Automated theorem proving in software engineering
Year:
2001

Citing 0
Cited 12

Translating Mizar for First Order Theorem Provers

MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
MPTP -- Motivation, Implementation, First Experiments

Journal of Automated Reasoning
The HiVe Writer

Electronic Notes in Theoretical Computer Science (ENTCS)
Software Engineering for Ensembles

Software-Intensive Systems and New Computing Paradigms
Relational analysis of (Co)inductive predicates, (Co)algebraic datatypes, and (Co)recursive functions

TAP'10 Proceedings of the 4th international conference on Tests and proofs
Automatic decidability and combinability

Information and Computation
Digital Ecosystems: Ecosystem-Oriented Architectures

Natural Computing: an international journal
Nitpick: a counterexample generator for higher-order logic based on a relational model finder

ITP'10 Proceedings of the First international conference on Interactive Theorem Proving
Critical systems development methodology using formal techniques

Proceedings of the Third Symposium on Information and Communication Technology
Relational analysis of (co)inductive predicates, (co)algebraic datatypes, and (co)recursive functions

Software Quality Control
A parallelized theorem prover for a logic with parallel execution

ITP'13 Proceedings of the 4th international conference on Interactive Theorem Proving
Approximation reasoning models based on random variables sequence

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

The book demonstrates the state-of-art automated theorem provers are capable of automatically handling important tasks during the development of high-quality software and it provides many helpful techniques for increasing practical usability of automated theorem proving for successful applications.