This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. The papers cover the spectrum of integrated formal methods, focusing on refinement, integration, translation, verification, reachability and model checking, usability and testing, distributed systems, semantics, and system-level analysis.

Produktinformation

Utgivningsdatum:2013-05-24
Mått:155 x 235 x 25 mm
Vikt:692 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:443
Upplaga:2013
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783642386121

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Innehållsförteckning

From Z to B and then Event-B: Assigning Proofs to Meaningful Programs.- Systems Design Guided by Progress Concerns.- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement.- Translating VDM to Alloy.- Verification of EB3 Specifications Using CADP.- Knowledge for the Distributed Implementation of Constrained Systems.- Automated Anonymity Verification of the ThreeBallot Voting System.- Compositional Verification of Software Product Lines.- Deductive Verification of State-Space Algorithms.- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus.- Priced Timed Automata and Statistical Model Checking.- Improved Reachability Analysis in DTMC via Divide and Conquer.- Solving Games Using Incremental Induction.- Model-Checking Software Library API Usage Rules.- Formal Modelling and Verification of Population Protocols.- Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing.- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation.- Automatic Inference of Erlang Module Behaviour.- Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms.- Quantified Abstractions of Distributed Systems.- An Algebraic Theory for Web Service Contracts.- A Compositional Automata-Based Semantics for Property Patterns.- A Formal Semantics for Complete UML State Machines with Communications.- From Small-Step Semantics to Big-Step Semantics, Automatically.- Program Equivalence by Circular Reasoning.- Structural Transformations for Data-Enriched Real-Time Systems.- Deadlock Analysis of Concurrent Objects: Theory and Practice.- Broadcast, Denial-of-Service, and Secure Communication.- Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

Mer från samma författare

Del 13241

Fundamental Approaches to Software Engineering

Einar Broch Johnsen, Manuel Wimmer

Häftad, 2022

460 kr

Del 13360

Logic of Software. A Tasting Menu of Formal Methods

Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Einar Broch Johnsen

Häftad, 2022

1 139 kr

Logic of Software. A Tasting Menu of Formal Methods

Einar Broch Johnsen, Richard Bubel, Bernhard Beckert, Wolfgang Ahrendt

E-bok

2022

1 455 kr

Del 14360

Active Object Languages: Current Research Trends

Frank de Boer, Ferruccio Damiani, Reiner Hähnle, Einar Broch Johnsen, Eduard Kamburjan

Häftad, 2024

856 kr

Active Object Languages: Current Research Trends

Eduard Kamburjan, Einar Broch Johnsen, Reiner Hahnle, Ferruccio Damiani, Frank de Boer

E-bok

2024

1 059 kr

Del 8483

Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer

Häftad, 2014

573 kr

Formal Methods for Executable Software Models

Ina Schaefer, Einar Broch Johnsen, Reiner Haehnle, Ferruccio Damiani, Marco Bernardo

E-bok

2014

739 kr

Del 9104

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

Häftad, 2015

551 kr

Formal Methods for Multicore Programming

Einar Broch Johnsen, Marco Bernardo

E-bok

2015

638 kr

Del 9660

Theory and Practice of Formal Methods

Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen

Häftad, 2016

573 kr

Mer från samma serie

Multiobjective Optimization

Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński

Häftad, 2008

556 kr

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang - Knowledge Graphs, Häftad

Del 16297

Knowledge Graphs

Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang

Häftad, 2026

935 kr

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

573 kr

Del 16096

Energy Informatics

Ivo Martinac, Bo Nørregaard Jørgensen, Zheng Grace Ma, Rúnar Unnþórsson, Chiara Bordin

Häftad, 2025

845 kr

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott - Biomimetic and Biohybrid Systems, Häftad

Del 15582

Biomimetic and Biohybrid Systems

Alejandro Jiménez Rodríguez, Rafael Mestre, Chaona Chen, Anna Mura, Edmund Barker, Paul Verschure, Tony Prescott

Häftad, 2025

1 026 kr

Extended Reality

Lucio Tommaso De Paolis, Pasquale Arpaia, Marco Sacco

Häftad, 2026

1 164 kr

Reliable Software Technologies - Ada-Europe '98

Lars Asplund

Häftad, 1998

573 kr

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson - Advanced Parallel Processing Technologies, Häftad

Nyhet

Del 16693

Advanced Parallel Processing Technologies

Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson

Häftad, 2026

1 026 kr

Del 16832

Progress in Cryptology - AFRICACRYPT 2026

Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez

Häftad, 2026

935 kr

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek - Electronic Participation, Häftad

Nyhet

Del 16923

Electronic Participation

David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek

Häftad, 2026

732 kr

Du kanske också är intresserad av

10% rabatt på allt

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr