Sage Journals: Discover world-class research

Free access

Research article

First published 2010-2

Formal Correctness Proof for DPLL Procedure

Filip Marić, Predrag Janičić

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2020-2

Checking the consistency of Object-Z formal specification based on theorem proof

Weiqing Wan, Yongqing Yu, Qingyan Zeng [...]

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2010-9-20

Finite models for formal security proofs

Jean Goubault-Larrecq

Journal of Computer Security

Retricted access

Research article

First published 2019

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems

Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre [...]

Fundamenta Informaticae

Retricted access

Research article

First published 1977

PPC (Pisa Proof Checker): a tool for experiments in theory of proving and mathematical theory of computation

Luigia Aiello, Mario Aiello, Giuseppe Attardi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2013-2-12

Efficient construction of machine-checked symbolic protocol security proofs

Simon Meier, Cas Cremers, David Basin

Journal of Computer Security

Retricted access

Other

First published 2013-11

Formalization of argument accrual: Acceptability semantics and dialectical proof procedure

Mauro J. Gómez Lucero

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2021-1

A comparison between the standard of proof applicable in arbitration and formal adjudication

Jesus Ezurmendia, Maria de los Angeles Gonzalez

The International Journal of Evidence & Proof

Retricted access

Research article

First published 2004-02

Uniqueness of the Surface-Wave Speed: A Proof That Is Independent of the Stroh Formalism

Alexander Mielke, Yibin B. Fu

Mathematics and Mechanics of Solids

Free access

Research article

First published 2003-9

Determination of the formability of stainless steel sheets using the technological proofing method

R Hennig, N V Malveira, R S Crivellaro [...]

Proceedings of the Institution of Mechanical Engineers,Part B: Journal of Engineering Manufacture

Search results