Jul 25, 2005 · 'Verification in continuous time by discrete reasoning' published in 'Algebraic Methodology and Software Technology'

General and reference · Cross-computing tools and techniques · Verification · Mathematics of computing · Discrete mathematics · Software and its engineering.

Sep 2, 1994 · This leads to a verification method based on three components: verification rules for the discrete semantics, axioms about time, and some ...

The ability to transfer results between the semantics, together with a deductive system for the continuous semantics, provides a powerful methodology for ...

This paper shows how the advantages of both semantics can be combined by adapting the simple verification rules of the discrete semantics to the continuous ...

Sep 1, 1994 · This paper shows how to transfer the verification techniques of the discrete semantics to the continuous one. We show that if a temporal logic ...

Abstract: We present a temporal framework suitable for the specification and verification of safety properties of real time hybrid systems.

In this paper, we propose an approach based on assume-guarantee contracts and compositional reasoning for verifying invariance properties of a broad class of ...

This paper develops a language and a reference architecture supporting the management and enforcement of authentication policies.

In this paper, we propose an approach based on assume-guarantee contracts and compositional reasoning for verifying properties of a broad class of discrete-time ...