Výčet stavu prostoru - State space enumeration

v počítačová věda, výčet stavového prostoru jsou metody, které považují každý za dosažitelný stav programu zjistit, zda je program splňuje danou vlastnost.^[1] Jak se programy zvětšují a komplikují, státní prostor roste exponenciálně. Stavový prostor používaný těmito metodami lze zmenšit zachováním pouze těch částí stavového prostoru, které jsou relevantní pro analýzu. Díky použití technik snižování stavu a paměti je však běh hlavním omezujícím faktorem.^[2]

Viz také

Reference

^ „Kompaktní zastoupení Petriho sítě pro souběžné programy“, Matthew B. Dwyer, Lori A. Clarke, Kari A. Niesy, Katedra počítačů, University of Massachusetts, Amherst Amherst, MA 01003
^ „Sborník z konference na téma Aplikace a teorie Petriho sítí: formální metody v softwarovém inženýrství a obranných systémech - svazek 12“, ACM International Conference Proceeding Series, Vol. 145, Marko Mäkelä, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finsko

[1] „Kompaktní zastoupení Petriho sítě pro souběžné programy“, Matthew B. Dwyer, Lori A. Clarke, Kari A. Niesy, Katedra počítačů, University of Massachusetts, Amherst Amherst, MA 01003

[2] „Sborník z konference na téma Aplikace a teorie Petriho sítí: formální metody v softwarovém inženýrství a obranných systémech - svazek 12“, ACM International Conference Proceeding Series, Vol. 145, Marko Mäkelä, Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finsko

[1]

[2]