Precondition

Results: 119



#Item
51Abstract Read Permissions: Fractional Permissions without the Fractions Stefan Heule1 , K. Rustan M. Leino2 , Peter Müller1 , and Alexander J. Summers1 1

Abstract Read Permissions: Fractional Permissions without the Fractions Stefan Heule1 , K. Rustan M. Leino2 , Peter Müller1 , and Alexander J. Summers1 1

Add to Reading List

Source URL: stefanheule.com

Language: English - Date: 2014-09-10 01:53:47
52NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France

NSADComputing Invariants with Transformers: Experimental Scalability and Accuracy Vivien Maisonneuve1 , Olivier Hermant2 and François Irigoin3 MINES ParisTech, France

Add to Reading List

Source URL: www.cri.ensmp.fr

Language: English - Date: 2014-08-26 05:35:01
53Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges Julian Tschannen · Carlo A. Furia · Martin Nordio

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) AutoProof Meets Some Verification Challenges Julian Tschannen · Carlo A. Furia · Martin Nordio

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2014-01-14 06:58:45
54Learning HTN Method Preconditions and Action Models from Partial Observations

Learning HTN Method Preconditions and Action Models from Partial Observations

Add to Reading List

Source URL: www.cse.ust.hk

Language: English - Date: 2009-07-14 20:12:38
55AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: users.ece.cmu.edu

Language: English - Date: 2014-05-29 15:38:01
56Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus To cite this version: Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus

Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus To cite this version: Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2015-04-15 11:05:08
57AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

AEG: Automatic Exploit Generation Thanassis Avgerinos, Sang Kil Cha, Brent Lim Tze Hao and David Brumley Carnegie Mellon University, Pittsburgh, PA {thanassis, sangkilc, brentlim, dbrumley}@cmu.edu Abstract

Add to Reading List

Source URL: security.ece.cmu.edu

Language: English - Date: 2011-05-02 14:34:52
58On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006

On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006

Add to Reading List

Source URL: lemma-one.com

Language: English - Date: 2006-12-10 08:21:16
59Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research

Embedded Contract Languages Manuel Fähndrich Michael Barnett Microsoft Research

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2009-11-13 18:01:10
60Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc

Microsoft Word - DASIA2013 - Formal Validation of Aerospace Software - Astrium ST - AdaCore[removed].doc

Add to Reading List

Source URL: www.spark-2014.org

Language: English - Date: 2013-06-10 05:40:58