default search action
4th IFM 2004: Canterbury, Kent, England
- Eerke A. Boiten
, John Derrick, Graeme Smith:
Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999, Springer 2004, ISBN 3-540-21377-5
Invited Talks
- Thomas Ball, Byron Cook, Vladimir Levin, Sriram K. Rajamani:
SLAM and Static Driver Verifier: Technology Transfer of Formal Methods inside Microsoft. 1-20 - Richard J. Boulton, Hanne Gottliebsen, Ruth Hardy, Tom W. Kelsey
Design Verification for Control Engineering. 21-35 - Thomas F. Melham:
Integrating Model Checking and Theorem Proving in a Reflective Functional Language. 36-39
Tutorial
- Jim Woodcock
A Tutorial Introduction to Designs in Unifying Theories of Programming. 40-66
Contributed Papers
- Bill J. Ellis, Andrew Ireland:
An Integration of Program Analysis and Automated Theorem Proving. 67-86 - Steve A. Schneider
Verifying Controlled Components. 87-107 - Adalberto Farias, Alexandre Mota, Augusto Sampaio:
Efficient CSPZ Data Abstraction. 108-127 - Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha:
State/Event-Based Software Model Checking. 128-147 - Kirsten Winter:
Formalising Behaviour Trees with CSP. 148-167 - Jin Song Dong, Shengchao Qin
Generating MSCs from an Integrated Formal Specification Language. 168-186 - Kevin Lano, David Clark
UML to B: Formal Verification of Object-Oriented Models. 187-206 - Bernhard Beckert, Steffen Schlager:
Software Verification with Integrated Data Type Refinement for Integer Arithmetic. 207-226 - Tiberiu Seceleanu
Constituent Elements of a Correctness-Preserving UML Design Approach. 227-246 - Xu Wang, A. W. Roscoe, Ranko Lazic:
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption. 247-266 - Michael Möller, Ernst-Rüdiger Olderog, Holger Rasch, Heike Wehrheim:
Linking CSP-OZ with UML and Java: A Case Study. 267-286 - Cécile Bui Thanh, Hanna Klaudel:
Object-Oriented Modelling with High-Level Modular Petri Nets. 287-306 - Gabriel Ciobanu
Specification and Verification of Synchronizing Concurrent Objects. 307-327 - Steve Dunne:
Understanding Object-Z Operations as Generalised Substitutions. 328-342 - Tim A. C. Willemse
Embeddings of Hybrid Automata in Process Algebra. 343-362 - Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi:
An Optimal Approach to Hardware/Software Partitioning for Synchronous Model. 363-381 - Ana Fernández Vilas
A Many-Valued Logic with Imperative Semantics for Incremental Specification of Timed Models. 382-401 - Yifeng Chen, Zhiming Liu:
Integrating Temporal Logics. 402-420 - Marius C. Bujorianu:
Integration of Specification Languages Using Viewpoints. 421-440 - Raymond T. Boute:
Integrating Formal Methods by Unifying Abstractions. 441-460 - Paul Curzon, Ann Blandford
Formally Justifying User-Centred Design Rules: A Case Study on Post-completion Errors. 461-480 - Simon Pickin
Using UML Sequence Diagrams as the Basis for a Formal Test Description Language. 481-500 - Luke Wildman, Roger Duke, Paul A. Strooper:
Viewpoint-Based Testing of Concurrent Components. 501-520 - Francisco José Galán Morillo, José Miguel Cañete Valdeón:
A Method for Compiling and Executing Expressive Assertions. 521-540
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: