Community hub
0 subscribers7 pages, 0 posts
Recent from talks
All channels
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Be the first to start a discussion here.
Contribute something
Welcome to the community hub built to collect knowledge and have discussions related to State space enumeration.
Nothing was collected or created yet.
State space enumeration
View on Wikipediafrom Wikipedia
 | This article may be confusing or unclear to readers. (April 2022) |
In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property.[1] As programs increase in size and complexity, the state space grows exponentially. The state space used by these methods can be reduced by maintaining only the parts of the state space that are relevant to the analysis. However, the use of state and memory reduction techniques makes runtime a major limiting factor.[2]
See also
[edit]References
[edit]- ^ "A Compact Petri Net Representation for Concurrent Programs", Matthew B. Dwyer, Lori A. Clarke, Kari A. Niesy, Department of Computer Science, University of Massachusetts, Amherst Amherst, MA 01003
- ^ "Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12", ACM International Conference Proceeding Series, Vol. 145, by Marko Mäkelä, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland