Modelling and Proof of a Tree-Structured File System in Event-B and Rodin (English)
- New search for: Damchoom, K.
- New search for: Butler, M.
- New search for: Abrial, J.-R.
- New search for: Damchoom, K.
- New search for: Butler, M.
- New search for: Abrial, J.-R.
- New search for: Liu, Shaoying
- New search for: Maibaum, Thomas S. E.
- New search for: Araki, Keijir�o
In:
Formal engineering methods, ICFEM 2008
5256
;
25-44
;
2008
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:Modelling and Proof of a Tree-Structured File System in Event-B and Rodin
-
Contributors:Damchoom, K. ( author ) / Butler, M. ( author ) / Abrial, J.-R. ( author ) / Liu, Shaoying / Maibaum, Thomas S. E. / Araki, Keijir�o
-
Conference:International conference; 10th, Formal engineering methods, ICFEM 2008 ; 2008 ; Kitakyushu, Japan
-
Published in:Formal engineering methods, ICFEM 2008 , 5256 ; 25-44LECTURE NOTES IN COMPUTER SCIENCE , 5256 ; 25-44
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin
-
Publication date:2008-01-01
-
Size:20 pages
-
Remarks:International conference proceedings. Includes bibliographical references and index.
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
How Can We Make Industry Adopt Formal Methods?Katayama, T. et al. | 2008
- 2
-
Programmers Ain't Mathematicians, and Neither Are TestersOffutt, J. et al. | 2008
- 3
-
Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial WorkflowsHatcliff, J. et al. | 2008
- 5
-
Specifying and Verifying Event-Based Fairness Enhanced SystemsSun, J. / Liu, Y. / Dong, J.S. / Wang, H.H. et al. | 2008
- 25
-
Modelling and Proof of a Tree-Structured File System in Event-B and RodinDamchoom, K. / Butler, M. / Abrial, J.-R. et al. | 2008
- 45
-
Conformance Testing Based on UML State Machines: Automated Test Case Generation, Execution and EvaluationSeifert, D. et al. | 2008
- 66
-
An Approach to Testing with Embedded Context Using Model CheckerDuan, L. / Chen, J. et al. | 2008
- 86
-
Requirements Coverage as an Adequacy Measure for Conformance TestingRajan, A. / Whalen, M. / Staats, M. / Heimdahl, M.P.E. et al. | 2008
- 105
-
Decomposition for Compositional VerificationMetzler, B. / Wehrheim, H. / Wonisch, D. et al. | 2008
- 126
-
A Formal Soundness Proof of Region-Based Memory Management for Object-Oriented ParadigmCraciun, F. / Qin, S. / Chin, W.-N. et al. | 2008
- 147
-
Program Models for Compositional VerificationHuisman, M. / Aktug, I. / Gurov, D. et al. | 2008
- 167
-
A Unified Model Checking Approach with Projection Temporal LogicDuan, Z. / Tian, C. et al. | 2008
- 187
-
Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and WritesOgata, K. / Futatsugi, K. et al. | 2008
- 207
-
Towards Abstraction for DynAlloy SpecificationsAguirre, N.M. / Frias, M.F. / Ponzio, P. / Cardiff, B.J. / Galeotti, J.P. / Regis, G. et al. | 2008
- 226
-
Partial Translation Verification for Untrusted Code-GeneratorsStaats, M. / Heimdahl, M.P.E. et al. | 2008
- 238
-
A Practical Approach to Partiality - A Proof Based ApproachMehta, F. et al. | 2008
- 258
-
A Representative Function Approach to Symmetry Exploitation for CSP Refinement CheckingMoffat, N. / Goldsmith, M. / Roscoe, B. et al. | 2008
- 278
-
Probing the Depths of CSP-M: A New FDR-Compliant Validation ToolLeuschel, M. / Fontaine, M. et al. | 2008
- 298
-
Practical Automated Partial Verification of Multi-paradigm Real-Time ModelsFuria, C.A. / Pradella, M. / Rossi, M. et al. | 2008
- 318
-
Specifying and Verifying Sensor Networks: An Experiment of Formal MethodsDong, J.S. / Sun, J. / Taguchi, K. / Zhang, X. et al. | 2008
- 338
-
Correct Channel Passing by ConstructionCai, C. / Qiu, Z. / Zhao, X. / Yang, H. et al. | 2008
- 355
-
A Process Semantics for BPMNWong, P.Y.H. / Gibbons, J. et al. | 2008
- 375
-
A Formal Descriptive Semantics of UMLShan, L. / Zhu, H. et al. | 2008