computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

, state space enumeration are methods that consider each reachable

program state In information technology and computer science, a system is described as stateful if it is designed to remember preceding events or user interactions; the remembered information is called the state of the system. The set of states a system can oc ...

to determine whether a program satisfies a given property. As programs increase in size and complexity, the

state space A state space is the set of all possible configurations of a system. It is a useful abstraction for reasoning about the behavior of a given system and is widely used in the fields of artificial intelligence and game theory. For instance, the toy ...

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."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

References

{{reflist Formal methods Logic in computer science Programming language implementation

See also

References