790 search results - page 29 / 158 » A Model Checking Language for Concurrent Value-Passing Syste... |
108
click to vote
DLOG
2010
14 years 12 months ago
2010
Abstract. UML class diagrams (UCDs) are the de-facto standard formalism for the analysis and design of information systems. By adopting formal language techniques to capture constr...
122
click to vote
JCS
2008
15 years 1 months ago
2008
We present a framework for evaluating and generating access control policies. The framework contains a modelling formalism called RW, which is supported by a model checking tool. ...
117
click to vote
EDOC
2004
IEEE
15 years 5 months ago
2004
IEEE
To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, ...
121
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
112
click to vote
IEICET
2006
15 years 1 months ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...