Postcondition

Results: 77



#Item
21Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz1 , Francesco Logozzo2 , Manuel F¨ahndrich2 ´ Ecole normale sup´erieure, Paris, France

Add to Reading List

Source URL: mehdi.bouaziz.org

Language: English - Date: 2014-01-23 20:24:46
22Mining Apps to Learn Normal Behavior

Mining Apps to Learn Normal Behavior

Add to Reading List

Source URL: www.informatics-europe.org

Language: English - Date: 2014-10-21 03:47:57
23Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3

Runtime Checking for Separation Logic Huu Hai Nguyen1 , Viktor Kuncak2 , and Wei-Ngan Chin1,3 1 3

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2007-11-16 10:14:07
24Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {*.*}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in

Proof Patterns for Formal Methods Leo Freitas and Iain Whiteside School of Computing Science, Newcastle University, U.K. {*.*}@newcastle.ac.uk Abstract. Design patterns represent a highly successful technique in

Add to Reading List

Source URL: www.ai4fm.org

Language: English - Date: 2015-04-10 11:01:31
25THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo

THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo

Add to Reading List

Source URL: www.eiffel-nice.org

Language: English - Date: 2014-10-22 11:03:56
26Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge

Independence and Concurrent Separation Logic Jonathan Hayman joint work with Glynn Winskel Computer Laboratory University of Cambridge

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-08-09 07:12:42
27Doc No: Date: Author: N4379

Doc No: Date: Author: N4379

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2015-02-09 06:51:02
28

PDF Document

Add to Reading List

Source URL: galois.com

Language: English - Date: 2014-07-16 17:46:25
29Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program

Verifying Eiffel Programs with Boogie Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch Abstract. Static program

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2011-06-23 07:40:14
30Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland firstn

Add to Reading List

Source URL: se.inf.ethz.ch

Language: English - Date: 2011-07-18 08:21:02