91 search results - page 1 / 19 » The High Road to Formal Validation: |
ASM
2008
ASM
13 years 6 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
CONTEXT
2005
Springer
13 years 9 months ago
2005
Springer
Regarding the high rate of transgressions of the Highway Code, the paper is about how do road users agree to be exposed to such risks? We consider that this issue must be addressed...
RE
2001
Springer
13 years 8 months ago
2001
Springer
An essential type of “evidence”of the correctness of the requirements formalization process can be provided by human-based calculation. Human calculation can be significantly ...
FTCS
1998
13 years 5 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
AH
2008
Springer
13 years 10 months ago
2008
Springer
The focus of my thesis is on the development of a multi-method framework for the validation of formal models (domain model, user model, and teaching model) for adaptive work-integr...