Výsledky vyhľadávania - Engineering] Software/Program Verification — Assertion checkers
-
1
A taxonomy and catalog of runtime software-fault monitoring tools
ISSN: 0098-5589, 1939-3520Vydavateľské údaje: New York IEEE 01.12.2004Vydané v 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…”
Získať plný text
Journal Article -
2
Self-Supervising BPEL Processes
ISSN: 0098-5589, 1939-3520Vydavateľské údaje: New York IEEE 01.03.2011Vydané v 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…”
Získať plný text
Journal Article -
3
Comprehensive Monitoring of BPEL Processes
ISSN: 1089-7801, 1941-0131Vydavateľské údaje: New York, NY IEEE 01.05.2010Vydané v 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…”
Získať plný text
Journal Article -
4
Automatic Processor Customization for Zero-Overhead Online Software Verification
ISSN: 1063-8210, 1557-9999Vydavateľské údaje: New York IEEE 01.10.2008Vydané v IEEE transactions on very large scale integration (VLSI) systems (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…”
Získať plný text
Journal Article -
5
Efficient SAT-based bounded model checking for software verification
ISSN: 0304-3975, 1879-2294Vydavateľské údaje: Amsterdam Elsevier B.V 28.09.2008Vydané v Theoretical computer science (28.09.2008)“…This paper discusses our methodology for formal analysis and automatic verification of software programs…”
Získať plný text
Journal Article Konferenčný príspevok..