Software

Results: 335388



#Item
61Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
62Software 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
63Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Detection of Security Vulnerabilities in C Code using Runtime Verification: an Experience Report Kostyantyn Vorobyov, Nikolai Kosmatov, and Julien Signoles CEA, LIST, Software Reliability and Security Laboratory, PC 174,

Add to Reading List

Source URL: julien.signoles.free.fr

Language: English - Date: 2018-06-20 05:46:32
64SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

SDNRacer: Detecting Concurrency Violations in Software-Defined Networks

Add to Reading List

Source URL: www.miserez.org

Language: English - Date: 2016-04-18 09:10:50
65Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Executable Counterexamples in Software Model Checking? Jeffrey Gennari1 , Arie Gurfinkel2 , Temesghen Kahsai3 , Jorge A. Navas4 , and Edward J. Schwartz1 Carnegie Mellon University1 , University of Waterloo2 , University

Add to Reading List

Source URL: seahorn.github.io

Language: English - Date: 2018-08-03 20:31:21
66Factsheet Airlock WAF Hardware Appliance Airlock WAF Hardware Appliance Now you have the choice: Airlock WAF software or hardware appliance. Our hardware appliance is a cost-effective world-class web application firewal

Factsheet Airlock WAF Hardware Appliance Airlock WAF Hardware Appliance Now you have the choice: Airlock WAF software or hardware appliance. Our hardware appliance is a cost-effective world-class web application firewal

Add to Reading List

Source URL: www.airlock.com

Language: English - Date: 2016-02-05 04:01:48
67RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

RAIDq: A software-friendly, multiple-parity RAID Ming-Shing Chen† , Bo-Yin Yang‡ , and Chen-Mou Cheng†‡ † Department of Electrical Engineering, National Taiwan University, Taiwan ‡ Research Center for Informa

Add to Reading List

Source URL: precision.moscito.org

Language: English - Date: 2013-05-26 08:06:24
68A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

A Framework for Verification of Software with Time and Probabilities Marta Kwiatkowska1 , Gethin Norman2 , and David Parker1 1 2

Add to Reading List

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

Language: English - Date: 2010-09-08 19:38:18
69JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

JOURNAL OF SOFTWARE, VOL. 8, NO. 3, MARCHAutomated Breakpoint Generation for Debugging Cheng Zhang1,3 , Juyuan Yang2 , Dacong Yan4 , Shengqian Yang4 , Yuting Chen2

Add to Reading List

Source URL: dacongy.github.io

Language: English - Date: 2017-06-27 01:04:15
70Multi-version Software Updates Cristian Cadar Petr Hosek Department of Computing Imperial College London {c.cadar, p.hosek}@imperial.ac.uk

Multi-version Software Updates Cristian Cadar Petr Hosek Department of Computing Imperial College London {c.cadar, p.hosek}@imperial.ac.uk

Add to Reading List

Source URL: srg.doc.ic.ac.uk

Language: English - Date: 2012-04-24 06:18:24