4047 search results - page 631 / 810 » Algebraic Model Checking |
177
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...
173
click to vote
IJAOSE
2010
15 years 3 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
164
click to vote
CMSB
2010
Springer
15 years 1 months ago
2010
Springer
To incorporate instant effects and different timescales within a single biological system, an extension of discrete regulatory networks with short-term stimuli is proposed. By mai...
187
click to vote
JUCS
2010
15 years 1 months ago
2010
: This paper formalizes UML class diagrams and structural patterns as mathematical objects and provides a precise notion of conformance of a structural model specified as a class d...
319
click to vote
CADE
2011
Springer
14 years 6 months ago
2011
Springer
We describe asasp, a symbolic reachability procedure for the analysis of administrative access control policies. The tool represents access policies and their administrative action...