FORTE
1992
13 years 5 months ago
1992
FORTE
1992
13 years 5 months ago
1992
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...
FORTE
1990
13 years 5 months ago
1990
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...
FORTE
1990
13 years 5 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
FORTE
1990
13 years 5 months ago
1990
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, ...
FORTE
1990
13 years 5 months ago
1990
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...
FORTE
1989
13 years 5 months ago
1989
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...
FORTE
1994
13 years 5 months ago
1994
FORTE
1994
13 years 5 months ago
1994
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...
FORTE
1994
13 years 5 months ago
1994
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...