713 search results - page 82 / 143 » Model Checking and Transitive-Closure Logic |
QEST
2007
IEEE
15 years 5 months ago
2007
IEEE
—Performance Trees are a recently-proposed mechanism for the specification of performance properties and measures. They represent an attractive alternative to stochastic logics,...
105
click to vote
ASIAN
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
ENTCS
2010
14 years 8 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...
JUCS
2010
14 years 5 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...
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...