COMPOS
1997
Springer
13 years 11 months ago
1997
Springer
COMPOS
1997
Springer
13 years 11 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...
COMPOS
1997
Springer
13 years 11 months ago
1997
Springer
COMPOS
1997
Springer
13 years 11 months ago
1997
Springer
COMPOS
1997
Springer
13 years 11 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...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
23
Voted
ZUM
1998
Springer
13 years 11 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
ZUM
1998
Springer
13 years 11 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
TYPES
1998
Springer
13 years 11 months ago
1998
Springer
TYPES
1998
Springer
13 years 11 months ago
1998
Springer