150 search results - page 15 / 30 » Checking Correctness of Transactional Behaviors |
FMICS
2010
Springer
15 years 25 days ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
VVEIS
2004
15 years 1 months ago
2004
Because of their complexity, business transactions are prone to failure in many ways. This paper reports on our experience using a fault-based testing approach. The approach overco...
IJFCS
2006
14 years 11 months ago
2006
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this re...
104
click to vote
TVCG
2012
13 years 2 months ago
2012
—The broad goals of verifiable visualization rely on correct algorithmic implementations. We extend a framework for verification of isosurfacing implementations to check topologi...
119
click to vote
EMSOFT
2011
Springer
13 years 11 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...