3 search results - page 1 / 1 » Model Checking CTL and FCTL is Hard |
FOSSACS
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Among the branching-time temporal logics used for the specification and verification of systems, CTL+ , FCTL and ECTL+ are the most notable logics for which the precise...
DALT
2010
Springer
12 years 11 months ago
2010
Springer
Social reasoning theories, whilst studied extensively in the area of multiagent systems, are hard to implement directly in agents. They often specify properties of beliefs or behav...
SACMAT
2009
ACM
13 years 11 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...