Vai al contenuto principale della pagina

Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).



(Visualizza formato Marc21)    (visualizza in BIBRAME 2.0)

Creatore: International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland)
Titolo: Integrated formal methods : 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings / Einar Broch Johnsen, Luigia Petre (eds.).
Link to work: Integrated formal methods Visualizza cluster
Pubblicazione: Berlin ; New York : Springer, ©2013
Estensione: 1 online resource (xiii, 442 pages) : illustrations.
Tipo formato: computer
Tipo contenuto: text
Tipo supporto: online resource
Disciplina: 004.01/51
Titolo uniforme di collana: Lecture notes in computer science ; 7940.
LNCS sublibrary. SL 2, Programming and software engineering.
Genere/Forma: Electronic books
Conference papers and proceedings
Ebook
Congresses
Index term-Uncontrolled: Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Soggetto non controllato: Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Termine d'indicizzazione-Occupazione: Computer science
Software engineering
Logic design
Logics and Meanings of Programs
Programming Languages, Compilers, Interpreters
Mathematical Logic and Formal Languages
Classificazione: 54.50
Classificazione LOC: QA76.9.F67 .I58 2013
Creatori/Collaboratori: Johnsen, Einar Broch, [editor.]
Petre, Luigia, , 1974- [editor.]
Note generali: International conference proceedings.
Includes author index.
Contenuto supplementare: Includes bibliographical references and index.
Nota di contenuto: Invited Paper 1: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs / Jean-Raymond Abrial -- Refinement, Integration, Translation. Systems Design Guided by Progress Concerns / Simon Hudon, Thai Son Hoang -- Assume-Guarantee Specifications of State Transition Diagrams for Behavioral Refinement / Christian Prehofer -- Translating VDM to Alloy / Kenneth Lausdahl -- Verification of EB3 Specifications Using CADP / Dimitris Vekris [and others].
Invited Paper 2: Knowledge for the Distributed Implementation of Constrained Systems / Susanne Graf, Sophie Quinton -- Verification. Automated Anonymity Verification of the ThreeBallot Voting System / Murat Moran, James Heather, Steve Schneider -- Compositional Verification of Software Product Lines / Jean-Vivien Millo [and others] -- Deductive Verification of State-Space Algorithms / Frédéric Gava, Jean Fortin, Michael Guedj -- Inductive Verification of Hybrid Automata with Strongest Postcondition Calculus / Daisuke Ishii, Guillaume Melquiond, Shin Nakajima.
Invited Paper 3: Priced Timed Automata and Statistical Model Checking / Kim Guldstrand Larsen -- Reachability and Model Checking. Improved Reachability Analysis in DTMC via Divide and Conquer / Songzheng Song [and others] -- Solving Games Using Incremental Induction / Andreas Morgenstern, Manuel Gesell, Klaus Schneider -- Model-Checking Software Library API Usage Rules / Fu Song, Tayssir Touili -- Formal Modelling and Verification of Population Protocols / Dominique Méry, Michael Poppleton -- Usability and Testing. Detecting Vulnerabilities in Java-Card Bytecode Verifiers Using Model-Based Testing / Aymerick Savary, Marc Frappier, Jean-Louis Lanet -- Integrating Formal Predictions of Interactive System Behaviour with User Evaluation / Rimvydas Rukšėnas, Paul Curzon, Michael D. Harrison -- Automatic Inference of Erlang Module Behaviour / Ramsay Taylor, Kirill Bogdanov, John Derrick -- Distributed Systems. Integrating Proved State-Based Models for Constructing Correct Distributed Algorithms / Manamiary Bruno Andriamiarina, Dominique Méry, Neeraj Kumar Singh -- Quantified Abstractions of Distributed Systems / Elvira Albert [and others].
Invited Paper 4 An Algebraic Theory for Web Service Contracts / Cosimo Laneve, Luca Padovani -- Semantics. A Compositional Automata-Based Semantics for Property Patterns / Kalou Cabrera Castillos [and others] -- A Formal Semantics for Complete UML State Machines with Communications / Shuang Liu [and others] -- From Small-Step Semantics to Big-Step Semantics, Automatically / Ştefan Ciobâcă -- Program Equivalence by Circular Reasoning / Dorel Lucanu, Vlad Rusu -- System-Level Analysis. Structural Transformations for Data-Enriched Real-Time Systems / Ernst-Rüdiger Olderog, Mani Swaminathan -- Deadlock Analysis of Concurrent Objects: Theory and Practice / Elena Giachino [and others] -- Broadcast, Denial-of-Service, and Secure Communication / Roberto Vigo, Flemming Nielson, Hanne Riis Nielson -- Characterizing Fault-Tolerant Systems by Means of Simulation Relations / Ramiro Demasi [and others].
Restrizioni accesso: Access is restricted to users affiliated with licensed institutions.
Sommario/riassunto: 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.
Collana: Lecture notes in computer science, 0302-9743 ; 7940
LNCS sublibrary. SL 2, Programming and software engineering
Varianti del titolo: IFM 2013
ISBN: 9783642386138
364238613X
3642386121
9783642386121
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 004637862
Localizzazioni e accesso elettronico https://ebookcentral.proquest.com/lib/nyulibrary-ebooks/detail.action?docID=3093022
Collocazione: Electronic access
Lo trovi qui: New York University
Altra ed. diverso supporto: Print version: International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland). Integrated formal methods. Berlin ; New York : Springer, ©2013 International Conference on Integrated Formal Methods (10th : 2013 : Turku, Finland). (OCoLC)856263567