We are improving our search experience. To check which content you have full access to, or for advanced search, go back to the old search.

Search

Please fill in this field.
Filters applied:
Computer science

Search Results

Showing 261-267 of 267 results

  1. From Under-Approximations to Over-Approximations and Back

    Current approaches to software model checking can be divided into over-approximation-driven (OD) and under-approximation-driven (UD). OD approaches...
    Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik in Tools and Algorithms for the Construction and Analysis of Systems
    Conference paper 2012

  2. A Solver for Reachability Modulo Theories

    Consider a sequential programming language with control flow constructs such as assignments, choice, loops, and procedure calls. We restrict the...
    Akash Lal, Shaz Qadeer, Shuvendu K. Lahiri in Computer Aided Verification
    Conference paper 2012

  3. Alternate and Learn: Finding Witnesses without Looking All over

    Most symbolic bug detection techniques perform search over the program control flow graph based on either forward symbolic execution or backward...
    Nishant Sinha, Nimit Singhania, ... Manu Sridharan in Computer Aided Verification
    Conference paper 2012

  4. CADP 2011: a toolbox for the construction and analysis of distributed processes

    CADP ( Construction and Analysis of Distributed Processes ) is a comprehensive software toolbox that implements the results of concurrency theory....

    Hubert Garavel, Frédéric Lang, ... Wendelin Serwe in International Journal on Software Tools for Technology Transfer
    Article 30 June 2012

  5. Kratos – A Software Model Checker for SystemC

    The growing popularity of SystemC has attracted research aimed at the formal verification of SystemC designs. In this paper we present Kratos, a...
    Alessandro Cimatti, Alberto Griggio, ... Marco Roveri in Computer Aided Verification
    Conference paper 2011

  6. An Introduction to Test Specification in FQL

    In a recent series of papers, we introduced a new framework for white-box testing which aims at a separation of concerns between test specifications...
    Andreas Holzer, Michael Tautschnig, ... Helmut Veith in Hardware and Software: Verification and Testing
    Conference paper 2011

  7. Making Software Verification Tools Really Work

    We discuss problems and barriers which stand in the way of producing verification tools that are robust, scalable and integrated in the software...
    Jade Alglave, Alastair F. Donaldson, ... Michael Tautschnig in Automated Technology for Verification and Analysis
    Conference paper 2011
Did you find what you were looking for? Share feedback.