State-Space Reduction is a method in concurrent system verification that belongs to the class of analysis techniques for state-space exploration, specifically distinguished by its focus on minimizing the number of reachable states and transitions in a Petri Net model while preserving behavioral equivalences essential for correctness properties.
432
Publications
20.5K
Citations
905
Authors
421
Institutions
Publications per year
2017–2026
49
Publications
432
Dynamic partial-order reduction for model checking software
Cormac Flanagan, Patrice Godefroid · 2005 · 641 citations · Full text
1–5 of 432
Authors
905
- ZL
6
h-index
- HB
6
h-index
- AVAntti Valmari
5 publications · 271 citations
5
h-index
- PG
4
h-index
- FS
4
h-index
1–5 of 905
Institutions
421
Centre National de la Recherche Scientifique
Paris, France
14 h-index
28 publications
2.4K citations
Eindhoven University of Technology
Eindhoven, The Netherlands
11 h-index
18 publications
761 citations
University of Illinois Urbana-Champaign
Urbana, United States
10 h-index
23 publications
792 citations
Xidian University
Xi'an, China
9 h-index
15 publications
512 citations
Imperial College London
London, United Kingdom
7 h-index
10 publications
425 citations
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
7 h-index
13 publications
556 citations
University of Colorado Boulder
Boulder, United States
6 h-index
20 publications
1.4K citations
TU Dortmund University
Dortmund, Germany
6 h-index
7 publications
182 citations
1–8 of 421
Venues
- IEEE Transactions on Automatic Control
18 publications · 2.3K citations
16
h-index
- Electronic Notes in Theoretical Computer Science
ENTCS · 13 publications · 347 citations
11
h-index
- International Journal on Software Tools for Technology Transfer
9 publications · 472 citations
9
h-index
- IEEE Transactions on Software Engineering
TSE · 8 publications · 780 citations
8
h-index
- International Journal of Control
7 publications · 210 citations
7
h-index
1–5