@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://en.wikipedia.org/wiki/> .
dbpedia:State_space_enumeration	foaf:page	ns2:State_space_enumeration .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:State_space_enumeration	rdfs:label	"State space enumeration"@en .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:State_space_enumeration	dbpprop:abstract	"In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. 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."@en ;
	rdfs:comment	"In computer science, state space enumeration are methods that consider each reachable program state to determine whether a program satisfies a given property. 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."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns6:	<http://dbpedia.org/resource/Category:> .
dbpedia:State_space_enumeration	skos:subject	ns6:Formal_methods ,
		ns6:Logic_in_computer_science ,
		ns6:Programming_language_implementation .