314 search results - page 21 / 63 » Sanity Checks in Formal Verification |
111
Voted
FMCAD
2008
Springer
15 years 3 months ago
2008
Springer
Performing synthesis and verification in isolation has two undesirable consequences: (1) verification runs the risk of becoming intractable, and (2) strong sequential optimization...
115
click to vote
EDOC
2000
IEEE
15 years 6 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
125
click to vote
SIGMETRICS
2008
ACM
15 years 1 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
118
click to vote
FMCO
2008
Springer
15 years 3 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
140
Voted
FORMATS
2007
Springer
15 years 5 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...