2488 search results - page 254 / 498 » An improvement in formal verification |
ASPDAC
2005
ACM
15 years 3 months ago
2005
ACM
- We address the problem of implication of assertion graphs that occur in generalized symbolic trajectory evaluation (GSTE). GSTE has demonstrated its powerful capacity in formal v...
110
click to vote
BPM
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it ...
117
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Formal verification based on model checking provides a powerful technology to query qualitative models of dynamical systems. The application of model-checking approaches is hamper...
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
102
click to vote
VAMOS
2010
Springer
15 years 2 months ago
2010
Springer
We discuss the application of deontic logics to the modelling of variabilities in product family descriptions. Deontic logics make it possible to express concepts like permission a...