13. ICFEM 2011:
Durham, UK Shengchao Qin , Zongyan Qiu (Eds.):
Formal Methods and Software Engineering - 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings.
Lecture Notes in Computer Science 6991 Springer 2011, ISBN 978-3-642-24558-9 Invited Talks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Formal Models
export record as
dblp key:
export record as
dblp key:
conf/icfem/AbdelhalimST11 export record as
dblp key:
export record as
dblp key:
Andreas Bollin :
Is There Evolution Before Birth? Deterioration Effects of Formal Z Specifications.
66-81
export record as
dblp key:
Model Checking and Probability
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Specification and Development
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/icfem/GmehlichGHLLP11 export record as
dblp key:
Security
export record as
dblp key:
export record as
dblp key:
Formal Verification
export record as
dblp key:
export record as
dblp key:
Pontus Boström :
Contract-Based Verification of Simulink Models.
291-306
export record as
dblp key:
Miroslav N. Velev ,
Ping Gao :
Exploiting Abstraction for Efficient Formal Verification of DSPs with Arrays of Reconfigurable Functional Units.
307-322
export record as
dblp key:
export record as
dblp key:
Cyber Physical Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Event-B
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Verification, Analysis and Testing
export record as
dblp key:
export record as
dblp key:
Holger Gast :
Developer-Oriented Correctness Proofs - A Case Study of Cheney's Algorithm.
489-504
export record as
dblp key:
conf/icfem/CostantiniFC11 export record as
dblp key:
Jonathan Nicholson :
A Theory of Classes from the Theoretical Foundations of LePUS3.
522-536
export record as
dblp key:
Refinement
export record as
dblp key:
Jeremy W. Bryans :
Developing a Consensus Algorithm Using Stepwise Refinement.
553-568
export record as
dblp key:
conf/icfem/HallerstedeS11 export record as
dblp key:
export record as
dblp key:
Theorem Proving and Rewriting
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
