1541 search results - page 189 / 309 » Tools and Techniques for Model Checking Networked Programs |
164
click to vote
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
118
click to vote
LCTRTS
2004
Springer
15 years 9 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
142
click to vote
WCRE
2000
IEEE
15 years 8 months ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
165
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
148
click to vote
BPM
2008
Springer
15 years 6 months ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...