Title :
Keynote Abstract - The Effectiveness of CSP Model Checking
Author_Institution :
Oxford Univ. Comput. Lab., Oxford, UK
Abstract :
Summary form only. This article presents the review of the developing tool, including new model checking strategies such as those based on SAT checking and restructuring explicit searches for optimising the use of memory and parallelism.
Keywords :
communicating sequential processes; formal specification; formal verification; CSP; SAT checking; communicating sequential processes; model checking;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on
Conference_Location :
Oxford
Print_ISBN :
978-1-4244-6638-2
DOI :
10.1109/ICECCS.2010.34
