1129 search results - page 156 / 226 » Formal Verification of Websites |
104
click to vote
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we present a complete method for verifying properties expressed in the temporal logic CTL. In contrast to the majority of verification methods presented in recent yea...
120
click to vote
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Parking garages that stow and retrieve cars automatically are becoming viable solutions for parking shortages. However, these are complex systems and a number of severe incidents i...
123
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
147
click to vote
ACSD
2001
IEEE
15 years 5 months ago
2001
IEEE
We present a new way to define the semantics of imperative synchronous languages by means of separating the control and the data flow. The control flow is defined by predicates th...
119
click to vote
AICCSA
2001
IEEE
15 years 5 months ago
2001
IEEE
This paper2 details the stages of building a substantial, carefully specified, fully tested and fully operational university and school timetabling system. This is reported as a c...