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]
^"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
January 01, 1970
state, space, enumeration, this, article, confusing, unclear, readers, please, help, clarify, article, there, might, discussion, about, this, talk, page, april, 2022, learn, when, remove, this, message, computer, science, state, space, enumeration, methods, th. This article may be confusing or unclear to readers Please help clarify the article There might be a discussion about this on the talk page April 2022 Learn how and when to remove this message 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 editFormal methods Model checkingReferences 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 Makela Laboratory for Theoretical Computer Science Helsinki University of Technology Espoo Finland Retrieved from https en wikipedia org w index php title State space enumeration amp oldid 1085236420, wikipedia, wiki, book, books, library,
