Software verification

Results: 1531



#Item
1Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Vinta: Verification with INTerpolation and Abstract iterpretation Arie Gurfinkel Software Engineering Institute Carnegie Mellon University

Add to Reading List

Source URL: arieg.bitbucket.io

Language: English - Date: 2018-10-19 18:15:18
2Quantitative Stochastic Models in the Verification and Design of Software Systems  IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Quantitative Stochastic Models in the Verification and Design of Software Systems IMPORTANT DATES. Submission of papers: Extended) Notification of acceptance: Camera-ready paper:

Add to Reading List

Source URL: deepse.dei.polimi.it

Language: English - Date: 2015-03-19 06:25:46
3IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, #  1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, # 1 Swarm Verification Techniques Gerard J. Holzmann, Rajeev Joshi, and Alex Groce

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:27:55
4Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

Model-Driven Software Verification Gerard J. Holzmann Rajeev Joshi JPL Laboratory for Reliable Software California Institute of Technology 4800 Oak Grove Drive

Add to Reading List

Source URL: rjoshi.org

Language: English - Date: 2010-09-11 18:26:03
524 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2  Technische Universit¨

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

Add to Reading List

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

Language: English - Date: 2017-07-30 15:10:35
6Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

Add to Reading List

Source URL: www.prismmodelchecker.org

- Date: 2017-10-05 19:55:13
    7Challenges 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
    8Randomized 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

    Add to Reading List

    Source URL: rjoshi.org

    Language: English - Date: 2010-09-11 18:31:43
    9Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

    Algorithmic Logic-Based Verification with SeaHorn (Invited Tutorial) Arie Gurfinkel Software Engineering Institute Carnegie Mellon University http://arieg.bitbucket.org

    Add to Reading List

    Source URL: arieg.bitbucket.io

    Language: English - Date: 2018-10-19 18:15:18
    10Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

    Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) PRISM-games: Verification and Strategy Synthesis for Stochastic Multi-player Games with Multiple Objectives Marta Kwiatkowska1 , Davi

    Add to Reading List

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

    Language: English - Date: 2017-10-06 04:04:07