Výsledky vyhledávání - Engineering] 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ískat 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ískat 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ískat 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ískat 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ískat plný text