formal methods | Sciweavers

31

click to vote

SAS
1993
Springer

103views Formal Methods» more SAS 1993»

Minimal Thunkification

14 years 3 months ago

Download www.cs.ucla.edu

Torben Amtoft

claim paper

Read More »

45

click to vote

FTRTFT
1992
Springer

128views Formal Methods» more FTRTFT 1992»

Specification and Verification of Real-Time Behaviour Using Z and RTL

14 years 3 months ago

Download sky.fit.qut.edu.au

Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...

Colin J. Fidge

claim paper

Read More »

25

click to vote

FTRTFT
1992
Springer

69views Formal Methods» more FTRTFT 1992»

Specifying Asynchronous Transfer of Control

14 years 3 months ago

Download www.cosc.canterbury.ac.nz

Padmanabhan Krishnan, Peter D. Mosses

claim paper

Read More »

28

click to vote

IMPERIAL
1994

101views Formal Methods» more IMPERIAL 1994»

Geometric logic as a Specification Language

14 years 3 months ago

Download www.cs.bham.ac.uk

The \observational content" of geometric logic is discussed and it is proposed that geometric logic is an appropriate basis for a Z-like speci cation language in which schema...

Steven Vickers

claim paper

Read More »

27

click to vote

IMPERIAL
1994

111views Formal Methods» more IMPERIAL 1994»

Locales are Not Pointless

14 years 3 months ago

Download www.cs.bham.ac.uk

Steven Vickers

claim paper

Read More »

44

click to vote

IMPERIAL
1994

132views Formal Methods» more IMPERIAL 1994»

Combinators for Interaction Nets

14 years 3 months ago

Download www.dcs.gla.ac.uk

Simon J. Gay

claim paper

Read More »

30

click to vote

IMPERIAL
1994

108views Formal Methods» more IMPERIAL 1994»

Towards a GeoZ Toolkit

14 years 3 months ago

Download www.cs.bham.ac.uk

The use of Geometric Logic as the foundation of a speci cation language called GeoZ is proposed elsewhere 4]. In thisnote we explore GeoZ fromthe perspective of practitioners, who...

Mark Dawson, Steven Vickers

claim paper

Read More »

23

click to vote

IMPERIAL
1994

122views Formal Methods» more IMPERIAL 1994»

An Internal Language for Interaction Categories

14 years 3 months ago