2488 search results - page 79 / 498 » An improvement in formal verification |
118
click to vote
HASE
1999
IEEE
15 years 5 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...
118
click to vote
ATAL
2008
Springer
15 years 2 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 ...
113
Voted
FMSD
2000
15 years 14 days 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...
83
Voted
ARTMED
2006
15 years 22 days ago
2006
101
Voted
FM
2006
Springer
15 years 4 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...