DocumentCode :
3181977
Title :
[Copyright notice]
fYear :
2010
fDate :
20-23 Oct. 2010
Firstpage :
1
Lastpage :
1
Abstract :
The following topics are dealt with: program synthesis; industrial track; software verification; decision procedures; hardware verification; protocol verification; abstraction; SAT; QBH; and concurrent system verification.
Keywords :
computability; concurrency theory; formal verification; protocols; QBH; SAT; abstraction; concurrent system verification; decision procedures; hardware verification; industrial track; program synthesis; protocol verification; software verification;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Formal Methods in Computer-Aided Design (FMCAD), 2010
Conference_Location :
Lugano
Print_ISBN :
978-1-4577-0734-6
Type :
conf
Filename :
5770970
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3181977
بازگشت