1129 search results - page 65 / 226 » Formal Verification of Websites |
133
click to vote
HASE
1999
IEEE
15 years 6 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
128
click to vote
ATAL
2008
Springer
15 years 4 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
122
click to vote
FMSD
2000
15 years 1 months ago
2000
We review a number of formal verification techniques supported by STeP, the Stanford Temporal Prover, describing how the tool can be used to verify properties of several versions o...
111
click to vote
FM
2006
Springer
15 years 5 months ago
2006
Springer
Medical guidelines are useful to standardize health care. As thousands of patients are treated according to these guidelines, the quality of guidelines is an important issue. In th...
120
click to vote
FMCO
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, we give an overview on some algorithms for learning automata. Starting with Biermann's and Angluin's algorithms, we describe some of the extensions caterin...