Open AccessMemory Efficient State Space Storage in Explicit Software Model Checking
Author(s) -
Jean-François Peyre,
Sami Évangelista
Publication year - 2005
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - computer science , model checking , state space , software , state (computer science) , parallel computing , space (punctuation) , programming language , embedded system , theoretical computer science , operating system , mathematics , statistics
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom