×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [bounded model]
Eric Madelaine FORTE ’04 -- Madrid sept. 2004 1/25 Parameterized Models for Distributed Java Objects Eric Madelaine work with Tomás Barros, Rabéa Boulifa
219 views
Implementing a variable-sized bit-vector theory for KeY Olivier Borne May 18, 2009
216 views
Personal Opinion on Future Role of Formal Verification in Hardware Industry
31 views
1 2006 High Performance Embedded Computing Workshop SAT Solvers for Investigation of Architectures for Cognitive Information Processing Richard A. Lethin,
213 views
Eric MadelaineOSCAR Workshop -- Santiago Nov. 2004 Verification of Distributed Applications Eric Madelaine work with Isabelle Attali, Tomás Barros, Rabéa
218 views
Internship Plan – A SMT( FinSet )-Solver based on OpenSMT
50 views
Revisiting Generalizations
79 views
< Prev