396 search results - page 47 / 80 » Using Refinement Checking as System Testing |
ICFEM
2003
Springer
15 years 2 months ago
2003
Springer
An existing distributed lift system was analyzed using the process algebraic language µCRL [7]. Four problems were found, three of which were also found independently by the devel...
APN
2004
Springer
15 years 1 months ago
2004
Springer
This paper describes concepts and features of a Web-based system called XRL/flower for carrying out Petri-net based workflows described with XRL (eXchangeable Routing Language). XR...
ICEIS
2006
IEEE
15 years 3 months ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
AINA
2008
IEEE
15 years 4 months ago
2008
IEEE
An experimental study shows the feasibility of service-oriented architectures for industrial automation and control systems even with respect to lower, real-time dependent control...
CAV
2008
Springer
14 years 11 months ago
2008
Springer
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...