|
СТ |
Composition and Abstraction |
2001 |
Valmari A. |
|
|
|
Lecture Notes in Computer Science |
04.11.2001 |
|
СТ |
Compositional State Space Generation |
1993 |
Valmari A. |
|
|
|
Lecture Notes in Computer Science |
26.06.1993 |
|
СТ |
Compositionality in State Space Verification Methods |
1996 |
Valmari A. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
|
СТ |
Error Detection by Reduced Reachability Graph Generation |
1988 |
Valmari A. |
|
|
|
Application and Theory of Petri Nets |
08.07.1995 |
|
СТ |
Finding Stubborn Sets of Coloured Petri Nets Without Unfolding |
1998 |
Kristensen L. M., Valmari A. |
|
|
|
Lecture Notes in Computer Science |
04.07.1998 |
|
СТ |
Livelocks, Fairness and Protocol Verification |
2000 |
Puhakka A., Valmari A. |
|
|
|
16th World Computer Congress 2000 |
06.03.2001 |
|
СТ |
Liveness and Fairness in Process-Algebraic Verification |
2001 |
Puhakka A., Valmari A. |
|
|
|
Lecture Notes in Computer Science |
04.10.2001 |
|
СТ |
On-the-fly verification with stubborn sets |
1993 |
Valmari A. |
|
|
|
Lecture Notes in Computer Science |
20.08.1993 |
|
СТ |
Putting Advanced Reachability Analysis Techniques Together: the "ARA" Tool |
1993 |
Valmari A., Kemppainen J., Clegg M., Levanto M. |
|
|
|
Lecture Notes in Computer Science |
27.05.1993 |
|
СТ |
Tampere Verification Tool |
2004 |
Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. |
|
|
|
Lecture Notes in Computer Science |
15.05.2004 |
|
СТ |
The Weakest Compositional Semantic Equivalence Preserving Nexttime-less Linear Temporal Logic |
1992 |
Kaivola R., Valmari A. |
|
|
|
Lecture Notes in Computer Science |
16.10.1992 |
