Sage Journals: Discover world-class research

Open access

Research article

First published 2021

Using Hoare Logic in a Process Algebra Setting

J.A. Bergstra, C.A. Middelburg

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Temporal and Spatial Coherence Verification in SMIL Documents with Hoare Logic and Disjunctive Constraints: A Hybrid Formal Method

Fatma Zohra Mekahlia, Abdelghani Ghomari, Samy Yazid [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2020

A Constructor-Based Reachability Logic for Rewrite Theories

Stephen Skeirik, Andrei Stefanescu, José Meseguer

Fundamenta Informaticae

Retricted access

Research article

First published 2009-5

On Domain Theory over Girard Quantales

Paweł Waszkiewicz

Fundamenta Informaticae

Retricted access

Research article

First published 2014-7-11

Modular protections against non-control data attacks

Cole Schlesinger, Karthik Pattabiraman, Nikhil Swamy [...]

Journal of Computer Security

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

Retricted access

Research article

First published 2007-6

Controllable Delay-Insensitive Processes

Mark B. Josephs, Hemangee K. Kapoor

Fundamenta Informaticae

Retricted access

Research article

First published 2015-10

A Rule-based Verification Strategy for Array Manipulating Programs

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Search results