46 search results - page 8 / 10 » Microarchitecture Verification by Compositional Model Checki... |
129
click to vote
IEE
2010
15 years 1 months ago
2010
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
120
click to vote
ATVA
2008
Springer
15 years 4 months ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
118
Voted
SIGSOFT
2010
ACM
15 years 21 days ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...
137
Voted
ESOP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
126
click to vote
COMPSAC
2007
IEEE
15 years 6 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...