SPIN
1999
Springer
13 years 12 months ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
In a recent study a series of model checkers, among which Spin [5], SMV [9], and a newer system called XMC [10], were compared on performance. The measurements used for this compar...
SPIN
1999
Springer
13 years 12 months ago
1999
Springer
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
SOFSEM
1999
Springer
13 years 12 months ago
1999
Springer
SOFSEM
1999
Springer
13 years 12 months ago
1999
Springer
We study learning scenarios in which multiple learners are involved and “nature” imposes some constraints that force the predictions of these learners to behave coherently. Thi...
SOFSEM
1999
Springer
13 years 12 months ago
1999
Springer
Changeability (also called evolvability) is an essential property of software. Software change is the foundation for both new software development and legacy software maintenance, ...