Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Davies, Jim (Επιμελητής έκδοσης), Gibbons, Jeremy (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4591
• Θέματα: Computer science.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Software Engineering.; Programming Techniques.

Πίνακας περιεχομένων:

• 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.