Verification

Results: 19505



#Item
21Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai

Algorithmic Logic-Based Verification Arie Gurfinkel Temesghen Kahsai

Add to Reading List

Source URL: jorgenavas.github.io

Language: English - Date: 2018-10-25 12:43:22
22Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checki

Add to Reading List

Source URL: web.cs.ucdavis.edu

Language: English - Date: 2018-10-22 12:57:37
23Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that

Add to Reading List

Source URL: csl.sri.com

Language: English - Date: 2018-04-25 11:34:42
24Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Bounded Verification with On-the-Fly Discrepancy Computation ? Chuchu Fan and Sayan Mitra {cfan10,mitras}@illinois.edu Department of Electrical and Computer Engineering, University of Illinois at Urbana-Champaign.

Add to Reading List

Source URL: publish.illinois.edu

Language: English - Date: 2016-01-22 19:21:52
25CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

CAV 2007 19th International Conference on Computer-Aided Verification July 2007, Berlin, Germany SMT 2007:

Add to Reading List

Source URL: www.lsi.upc.edu

Language: English - Date: 2007-07-09 05:14:16
26Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Noname manuscript No. (will be inserted by the editor) Verification of B+ Trees by Integration of Shape Analysis and Interactive Theorem Proving ?

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-01-11 10:46:13
27Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Automatic Verification of Competitive Stochastic Systems Taolue Chen, Vojtˇech Forejt, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Oxford, UK

Add to Reading List

Source URL: qav.comlab.ox.ac.uk

Language: English - Date: 2012-01-06 05:40:55
28Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Challenges In Deductive Software Verification Reiner Hähnle (with Marieke Huisman, U Twente) www.se.tu-darmstadt.de

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2017-08-08 05:01:11
29Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and

Modular Verification of Order-Preserving Write-Back Caches ? J¨ org Pf¨ ahler, Gidon Ernst, Stefan Bodenm¨ uller, Gerhard Schellhorn, and

Add to Reading List

Source URL: www.isse.uni-augsburg.de

Language: English - Date: 2017-07-21 04:42:46