Precondition - PDFSEARCH.IO - Document Search Engine

Precondition
Results: 119

#	Item
51	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 Computer programming Control flow Postcondition Filesystem permissions Eval Precondition Rm Constructor Computing Software engineering Logic in computer science
52	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 Control flow Loop invariant Transformer Precondition KeY Group action Predicate transformer semantics Theoretical computer science Software engineering Mathematics
53	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 Logic in computer science Eiffel Postcondition Precondition Recursion Assertion Lookup table Rope Exception handling Software engineering Computer programming Computing
54	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 Artificial intelligence Mathematics Decomposition method Precondition Algorithm Applied mathematics Automated planning and scheduling Hierarchical task network Constraint programming
55	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 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
56	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 Software bugs Software testing Logic in computer science Debugging Test case Infinite loop ALGOL 68 Precondition Pointer Software engineering Computer programming Computing
57	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 Software engineering Software testing Logic in computer science Automated theorem proving Concolic testing Symbolic execution Buffer overflow Predicate transformer semantics Precondition Theoretical computer science Software bugs Mathematics
58	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 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
59	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 Logic in computer science Programming paradigms Cross-platform software Object-oriented programming Procedural programming languages Postcondition Design by contract Precondition Class invariant Software engineering Computing Computer programming
60	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 Logic in computer science SPARK Postcondition Subroutine Ada Formal methods Precondition Verification and validation Library Computing Software engineering Computer programming

UPDATE