Výsledky vyhľadávania - Software/Program Verification— Assertion checkers

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

“…A goal of runtime software-fault monitoring is to observe software behavior to determine whether it complies with its intended behavior. Monitoring allows one…”
Získať plný text

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

“…Service compositions suffer changes in their partner services. Even if the composition does not change, its behavior may evolve over time and become incorrect…”
Získať plný text

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

“…Service-oriented systems' distributed ownership has led to an increasing focus on runtime management solutions. Service-oriented systems can change greatly…”
Získať plný text

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

“…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…”
Získať plný text

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

“…This paper discusses our methodology for formal analysis and automatic verification of software programs…”
Získať plný text

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

“… 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…”
Získať plný text