Sage Journals: Discover world-class research

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 1977

Algorithmic logic and its applications in the theory of programs I

Grażyna Mirkowska

Fundamenta Informaticae

Retricted access

Research article

First published 2012-8

Hoare-Style Verification of Graph Programs

Christopher M. Poskitt, Detlef Plump

Fundamenta Informaticae

Retricted access

Research article

First published 1998-10

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron Peled

Fundamenta Informaticae

Retricted access

Research article

First published 1992

A Modal Semantics of Negation in Logic Programming

Philippe Balbiani

Fundamenta Informaticae

Retricted access

Research article

First published 2010-8

Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols

Edwin Brady, Kevin Hammond

Fundamenta Informaticae

Retricted access

Research article

First published 2016-11-8

Information flow analysis for a dynamically typed language with staged metaprogramming

Martin Lester, Luke Ong, Max Schäfer

Journal of Computer Security

Retricted access

Research article

First published 2020-02-06

Formal verification of a task scheduler for embedded operating systems

Haiyong Sun, Hang Lei

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

Retricted access

Research article

First published 2014-2

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Iliano Cervesato, Thierry Sans

Fundamenta Informaticae

Retricted access

Research article

First published 2016-12-1

A verified information-flow architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon [...]

Journal of Computer Security

Search results