Suchergebnisse - Software/Program Verification— Assertion checkers

A taxonomy and catalog of runtime software-fault monitoring tools von 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 …”
Volltext

Self-Supervising BPEL Processes von 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 …”
Volltext

Comprehensive Monitoring of BPEL Processes von 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 …”
Volltext

Automatic Processor Customization for Zero-Overhead Online Software Verification von 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 …”
Volltext

Efficient SAT-based bounded model checking for software verification von 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 …”
Volltext

An eclipse plug-in for model checking von 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 …”
Volltext