Software

Results: 335388



#Item
61Computing / Software engineering / Computer programming / Methods of proof / Logic in computer science / Pointer / Exec / Counterexample / Objective-C / Model checking / Abstract interpretation / Operational semantics

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
62Markov processes / Game theory / Strategy / Stochastic game / Markov decision process / Probability and statistics / Probability / Computability theory

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
63Computing / Software engineering / Computer programming / Software bugs / Software testing / Computer network security / Debuggers / Common Weakness Enumeration / Memory debugger / Memory safety / Application security / Frama-C

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
64Computing / Network architecture / Information and communications technology / Network protocols / OpenFlow / Software-defined networking / Local area networks / Nox / Open vSwitch / Forwarding plane / Transmission Control Protocol / Network switch

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
65Computing / Software engineering / Computer programming / Methods of proof / Logic in computer science / Pointer / Exec / Counterexample / Objective-C / Model checking / Abstract interpretation / Operational semantics

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
66Computing / Firewall software / Software / Computer hardware / Networking hardware / Software distribution / Web application firewall / Application firewall / Waf / Computer appliance / Appliance / Failover

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
67Coding theory / Error detection and correction / ReedSolomon error correction / NC / Erasure code / RAID / Discrete mathematics / Mathematics / Theoretical computer science

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
68Mathematical analysis / Mathematics / Constructible universe / Distribution

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
69Debugging / Computer programming / Software engineering / Computing / Breakpoint / Debugger / Switch statement / TeX / Program slicing / Wing IDE

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
70Computing / Software / Software release / Cloud clients / Parallel computing / Computer science / Chromium / Patch / Kernel / Operating system / Software deployment / Software quality

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
UPDATE