601 search results - page 67 / 121 » Model Checking CTL Properties of Pushdown Systems |
131
click to vote
IANDC
2011
14 years 8 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
131
click to vote
TGC
2005
Springer
15 years 7 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
APSEC
2002
IEEE
15 years 6 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
101
click to vote
SP
1998
IEEE
15 years 5 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
CASSIS
2004
Springer
15 years 7 months ago
2004
Springer
Security policies are rules that constrain the behaviour of a system. Different, largely unrelated sets of rules typically govern the physical and logical worlds. However, increa...