1![Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract Model-Based API Testing for SMT Solvers∗ Aina Niemetz, Mathias Preiner, and Armin Biere Institute for Formal Models and Verification Johannes Kepler University, Linz, Austria Abstract](https://www.pdfsearch.io/img/ac3ea24131aaf898c552337d330e7785.jpg) | Add to Reading ListSource URL: smt-workshop.cs.uiowa.eduLanguage: English - Date: 2017-09-02 14:08:49
|
---|
2![Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena Randomized Differential Testing as a Prelude to Formal Verification Alex Groce, Gerard Holzmann, and Rajeev Joshi Laboratory for Reliable Software ∗ Jet Propulsion Laboratory California Institute of Technology Pasadena](https://www.pdfsearch.io/img/5b1e4bec2dbcd5fe5c09f378ab806751.jpg) | Add to Reading ListSource URL: rjoshi.orgLanguage: English - Date: 2010-09-11 18:31:43
|
---|
3![Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ](https://www.pdfsearch.io/img/32e735400d4eb602e2dcc60f7f697494.jpg) | Add to Reading ListSource URL: www.prismmodelchecker.orgLanguage: English - Date: 2013-10-04 14:46:58
|
---|
4![Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verification](https://www.pdfsearch.io/img/b03f3d528798d1aa26820d9f0d8b2e8c.jpg) | Add to Reading ListSource URL: publish.illinois.eduLanguage: English - Date: 2014-10-08 18:37:53
|
---|
5![Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015
Formal Verification Verifiable Autonomy Michael Fisher University of Liverpool, 11th September 2015
Formal Verification](https://www.pdfsearch.io/img/e84e3c4ca505319f5b34283a8b21da7e.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:32:14
|
---|
6![The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia The Formal Semantics and Evolution of the F? Verification System October 11, Relational reasoning in F? : devising scalable verification techniques for properties of multiple program executions (e.g., confidentia](https://www.pdfsearch.io/img/04e3c8f853037c58e168d47a46773861.jpg) | Add to Reading ListSource URL: prosecco.gforge.inria.frLanguage: English - Date: 2018-10-11 10:56:59
|
---|
7![Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ Formal Methods in System Design manuscript No. (will be inserted by the editor) Automatic Verification of Competitive Stochastic Systems Taolue Chen · Vojtˇ](https://www.pdfsearch.io/img/bdaed727c48869a360dc2dc64b04135a.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2013-10-04 14:48:40
|
---|
8![Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France Third International Workshop on Numerical Software Verification Formal verification of numerical programs: from C annotated programs to Coq proofs Sylvie Boldo INRIA Saclay - ˆIle-de-France](https://www.pdfsearch.io/img/f862a08768251031f7cd625f7f213786.jpg) | Add to Reading ListSource URL: www.lix.polytechnique.frLanguage: English - Date: 2010-07-21 10:31:12
|
---|
9![Formal Specification and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1 Formal Specification and Verification of a Selective Defense for TDoS Attacks Yuri Gil Dantas1 , Marcilio O. O. Lemos2 , Iguatemi E. Fonseca2 , and Vivek Nigam2 1](https://www.pdfsearch.io/img/a9d66b0042e63699bb4f3c4f155ee260.jpg) | Add to Reading ListSource URL: www.mais.informatik.tu-darmstadt.deLanguage: English - Date: 2016-03-11 10:49:10
|
---|
10![Formal Verification of Integer Multipliers by Combining Gr¨obner Basis with Logic Reduction Amr Sayed-Ahmed1 Daniel Große1,2 Formal Verification of Integer Multipliers by Combining Gr¨obner Basis with Logic Reduction Amr Sayed-Ahmed1 Daniel Große1,2](https://www.pdfsearch.io/img/028aac3ebb23a65db300624712a92b88.jpg) | Add to Reading ListSource URL: www.informatik.uni-bremen.deLanguage: English - Date: 2015-11-27 04:27:46
|
---|