Sage Journals: Discover world-class research

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

Research article

First published 2022-8-25

Automatic generation of sources lemmas in Tamarin : Towards automatic proofs of security protocols 1

Véronique Cortier, Stéphanie Delaune, Jannik Dreier [...]

Journal of Computer Security

Retricted access

Research article

First published 1999-2

ILF and DAWN for Verifying Distributed Algorithms – An Idea for a Tool

Thomas Baar, Ekkart Kindler

Fundamenta Informaticae

Retricted access

Research article

First published 2000-7

Towards Automated Consistency Checking of Module Interface Specifications

Marcin Engel, Artur Kret, Janina Mincer-Daszkiewicz

Fundamenta Informaticae

Open access

Research article

First published 2015-10

Fast Antinoise RFID-Aided Medical Care System

Ming-Hour Yang, Jia-Ning Luo

International Journal of Distributed Sensor Networks

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

Experimental Evaluation of Automatic Hint Generation for a Logic Tutor

John Stamper, Michael Eagle, Tiffany Barnes [...]

International Journal of Artificial Intelligence in Education: The European Journal on Artificial Intelligence

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-8

Automation for Dependently Typed Functional Programming

Sean Wilson, Jacques Fleuriot, Alan Smaill

Fundamenta Informaticae

Retricted access

Research article

First published 2018-5-17

Programming and verifying a declarative first-order prover in Isabelle/HOL

Alexander Birch Jensen, John Bruntse Larsen, Anders Schlichtkrull [...]

The European Journal on Artificial Intelligence

Search results