4460 search results - page 586 / 892 » Formal methods for interactive systems |
163
click to vote
CAV
2007
Springer
16 years 24 days ago
2007
Springer
Bounded context switch reachability analysis is a useful and efficient approach for detecting bugs in multithreaded programs. In this paper, we address the application of this app...
146
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
176
click to vote
FORMATS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
185
click to vote
CSFW
2006
IEEE
16 years 21 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
165
click to vote
GLVLSI
2006
IEEE
16 years 20 days ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...