DocumentCode
2958958
Title
Keynote Abstract - The Effectiveness of CSP Model Checking
Author
Roscoe, A.W.
Author_Institution
Oxford Univ. Comput. Lab., Oxford, UK
fYear
2010
fDate
22-26 March 2010
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on
Conference_Location
Oxford
Print_ISBN
978-1-4244-6638-2
Type
conf
DOI
10.1109/ICECCS.2010.34
Filename
5628572
Link To Document