ICFEM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
ICFEM
2007
Springer
14 years 4 months ago
2007
Springer
ICFEM
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
ICFEM
2007
Springer
14 years 7 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
ICFEM
2007
Springer
14 years 7 months ago
2007
Springer
Simulink is popular in industry for modeling and simulating embedded systems. It is deficient to handle requirements of high-level assurance and timing analysis. Previously, we sh...
ICFEM
2007
Springer
14 years 7 months ago
2007
Springer
Bounded semantics of LTL with existential interpretation and that of ECTL (the existential fragment of CTL), and the characterization of these existentially interpreted properties ...
ICFEM
2007
Springer
14 years 7 months ago
2007
Springer
ICFEM
2007
Springer
14 years 7 months ago
2007
Springer