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

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Davies, Jim (Editor ), Gibbons, Jeremy (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Programming and Software Engineering, 4591
Temas:
Computer science.
Compilers (Computer programs).
Software engineering.
Computer programming.
Theory of Computation.
Computer Science Logic and Foundations of Programming.
Compilers and Interpreters.
Software Engineering.
Programming Techniques.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares