Vai al contenuto principale della pagina
Titolo: | Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings / / Jim Davies, Jeremy Gibbons (editors) |
Pubblicazione: | Berlin ; ; Heidelberg : , : Springer, , [2007] |
©2007 | |
Edizione: | 1st ed. 2007. |
Descrizione fisica: | 1 online resource (IX, 662 p.) |
Disciplina: | 004.0151 |
Soggetto topico: | Formal methods (Computer science) |
Persona (resp. second.): | DaviesJim <1964-> |
GibbonsJeremy <1966-> | |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di bibliografia: | Includes bibliographical references and index. |
Nota di contenuto: | Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing Concurrent Real-Time System Specifications for Verification -- Slotted-Circus -- Bug Hunting with False Negatives -- Behavioural Specifications from Class Models -- Inheriting Laws for Processes with States -- Probabilistic Timed Behavior Trees -- Guiding the Correction of Parameterized Specifications -- Proving Linearizability Via Non-atomic Refinement -- Lifting General Correctness into Partial Correctness is ok -- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters -- Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks -- Finding State Solutions to Temporal Logic Queries -- Qualitative Probabilistic Modelling in Event-B -- Verifying Smart Card Applications: An ASM Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function -- UTP Semantics for Web Services -- Combining Mobility with State -- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System -- Capturing Conflict and Confusion in CSP -- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems -- Decomposing Integrated Specifications for Verification -- Validating Z Specifications Using the ProB Animator and Model Checker -- Verification of Multi-agent Negotiations Using the Alloy Analyzer -- Integrated Static Analysis for Linux Device Driver Verification -- Integrating Verification, Testing, and Learning for Cryptographic Protocols -- Translating FSP into LOTOS and Networks of Automata -- Common Semantics for Use Cases and Task Models -- Unifying Theories of Objects -- Non-interference Properties for Data-Type Reduction of Communicating Systems -- Co-simulation of Distributed Embedded Real-Time Control Systems. |
Titolo autorizzato: | Integrated Formal Methods |
ISBN: | 3-540-73210-1 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 9910767515603321 |
Lo trovi qui: | Univ. Federico II |
Opac: | Controlla la disponibilità qui |