Search Results - Software/Program Verification— Assertion checkers

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    A taxonomy and catalog of runtime software-fault monitoring tools by Delgado, N., Gates, A.Q., Roach, S.

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.12.2004
    Published in IEEE transactions on software engineering (01.12.2004)
    “…A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  2. 2
    Cover Image

    Self-Supervising BPEL Processes by Baresi, Luciano, Guinea, Sam

    ISSN: 0098-5589, 1939-3520
    Published: New York IEEE 01.03.2011
    Published in IEEE transactions on software engineering (01.03.2011)
    “…Service compositions suffer changes in their partner services. Even if the composition does not change, its behavior may evolve over time and become incorrect…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  3. 3
    Cover Image

    Comprehensive Monitoring of BPEL Processes by Baresi, Luciano, Guinea, Sam, Nano, Olivier, Spanoudakis, George

    ISSN: 1089-7801, 1941-0131
    Published: New York, NY IEEE 01.05.2010
    Published in IEEE internet computing (01.05.2010)
    “…Service-oriented systems' distributed ownership has led to an increasing focus on runtime management solutions. Service-oriented systems can change greatly…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  4. 4
    Cover Image

    Automatic Processor Customization for Zero-Overhead Online Software Verification by Hong Lu, Forin, A.

    ISSN: 1063-8210, 1557-9999
    Published: New York IEEE 01.10.2008
    “…The PSL-to-Verilog (P2V) compiler can translate a set of assertions about a block-structured software program into a hardware design to be executed concurrently with the program…”
    Get full text
    Journal Article
    Save to List
    Saved in:
  5. 5
    Cover Image

    Efficient SAT-based bounded model checking for software verification by Ivančić, Franjo, Yang, Zijiang, Ganai, Malay K., Gupta, Aarti, Ashar, Pranav

    ISSN: 0304-3975, 1879-2294
    Published: Amsterdam Elsevier B.V 28.09.2008
    Published in Theoretical computer science (28.09.2008)
    “…This paper discusses our methodology for formal analysis and automatic verification of software programs…”
    Get full text
    Journal Article Conference Proceeding
    Save to List
    Saved in:
  6. 6
    Cover Image

    An eclipse plug-in for model checking by Beyer, D., Henzinger, T.A., Jhala, R., Majumdar, R.

    ISBN: 9780769521497, 0769521495
    ISSN: 1092-8138
    Published: Los Alamitos CA IEEE 2004
    “… We provide a verification interface for practical solutions for some typical program analysis problems - assertion checking, reachability analysis, dead code analysis, and test generation - directly on the source code…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: