8 search results - page 1 / 2 » tacas 1997 |
79
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
95
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
139
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
In this paper, we describe the computer tool Design CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have bee...
109
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
We present a highly polymorphic tool for the construction, synthesis, structuring, manipulation, investigation, and (symbolic) execution of graphs. The exibility of this tool, whic...
86
Voted
TACAS
1997
Springer
15 years 4 months ago
1997
Springer
The Kimwitu system is a meta-tool that supports the construction of programs (tools) that operate on trees or terms. The system supports open multi-paradigm programming, in that i...