4036 search results - page 221 / 808 » Formal Methods |
198
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
160
click to vote
COMPOS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
172
click to vote
IFL
1997
Springer
15 years 10 months ago
1997
Springer
A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged...
156
click to vote
IMPERIAL
1993
15 years 10 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
183
click to vote
IMPERIAL
1994
15 years 10 months ago
1994
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...