2407 search results - page 109 / 482 » A Tool for Abstraction in Model Checking |
206
click to vote
LPAR
2012
Springer
14 years 1 months ago
2012
Springer
traction with Interpolants for Arrays Francesco Alberti1 , Roberto Bruttomesso2 , Silvio Ghilardi2 , Silvio Ranise3 , Natasha Sharygina1 1 Universit`a della Svizzera Italiana, Luga...
183
click to vote
TOCL
2008
15 years 6 months ago
2008
State Machines Capture Parallel Algorithms: Correction and Extension ANDREAS BLASS University of Michigan and YURI GUREVICH Microsoft Research We consider parallel algorithms worki...
109
click to vote
INFORMATICALT
2002
15 years 6 months ago
2002
Abstract. A tool for modeling the propagation of optical beams is proposed and investigated. Truncated Laguerre
194
click to vote
ESORICS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Formal methods have been extensively applied to the certification of cryptographic protocols. However, most of these works make the perfect cryptography assumption, i.e....
154
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
We present ProB, an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications, and unlike the anima...