FORTE 1990 | Sciweavers

13

FORTE
1990

114views Formal Methods» more FORTE 1990»

Step-wise Refinement Design Example Using LOTOS

13 years 6 months ago

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...

claim paper

Read More »

13

click to vote

FORTE
1990

95views Formal Methods» more FORTE 1990»

Verifying Bisimulations "On the Fly"

13 years 6 months ago

Download ftp.inrialpes.fr

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

claim paper

Read More »

11

click to vote

FORTE
1990

88views Formal Methods» more FORTE 1990»

A LOTOS Interpreter for Simulating Real-Time Behaviour

13 years 6 months ago

Download sky.fit.qut.edu.au

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

claim paper

Read More »

10

click to vote

FORTE
1990

93views Formal Methods» more FORTE 1990»

ASN.1 and Estelle Implementation Support Tools

13 years 6 months ago

Download www.site.uottawa.ca

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...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers