Sciweavers

FORTE
1992
14 years 1 days ago
A constraint-oriented real-time process calculus
A real-time extension of ccs is described, based on true concurrency semantics and a determination to make composition the sole arbiter of real-time behaviour. The resultant calcu...
Colin J. Fidge
FORTE
1990
14 years 1 days ago
Step-wise Refinement Design Example Using LOTOS
The importance of a design methodology when using Formal Description Techniques is generally agreed in the scientific community. This paper presents some design principles and con...
Luís Ferreira Pires, Wanderley Lopes de Sou...
FORTE
1990
14 years 1 days ago
Verifying Bisimulations "On the Fly"
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
Jean-Claude Fernandez, Laurent Mounier
FORTE
1990
14 years 1 days ago
A LOTOS Interpreter for Simulating Real-Time Behaviour
A prototype Basic LOTOS interpreter, augmented for modelling real-time systems, is described. Primitive actions are treated as time-consuming, with separate start and end points, ...
Colin J. Fidge
FORTE
1990
14 years 1 days ago
ASN.1 and Estelle Implementation Support Tools
Formal specifications are a well-known technique for improving software devel the context of OSI communication protocol standards, Formal Description Te (FDT's) have been dev...
Gregor von Bochmann, Daniel Ouimet, Gerald W. Neuf...
FORTE
1989
14 years 1 days ago
Compilation of LOTOS Abstract Data Types
ion of LOTOS Abstract Data Types Hubert GARAVEL∗ Laboratoire de G´enie Informatique Institut I.M.A.G. GRENOBLE FRANCE This article describes an experiment with the compilation o...
Hubert Garavel
FORTE
1994
14 years 6 days ago
Verifying timing properties of concurrent algorithms
Victor Luchangco, Ekrem Söylemez, Stephen J. ...
FORTE
1994
14 years 6 days ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
FORTE
1994
14 years 6 days ago
Proving the value of formal methods
The record of successful applications of formal verification techniques is slowly growing. Our ultimate aim, however, is not to perform small pilot projects that show that verific...
Gerard J. Holzmann