4047 search results - page 21 / 810 » Algebraic Model Checking |
BCS
2008
13 years 10 months ago
2008
Parity games underlie the model checking problem for the modal
ENTCS
2007
13 years 8 months ago
2007
We introduce a class of coalgebraic models and a family of modal logics that support the speci cation of spatial properties of distributed applications. The evaluation of a formul...
DSOM
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Current self-healing systems are built from “convergent” actions that only make repairs when necessary. Using an algebraic model of system administration, we challeng...
FMCO
2005
Springer
14 years 2 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
FCT
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...