Description |
1 online resource |
Series |
Lecture notes in computer science, 0302-9743 ; 7273 |
|
LNCS sublibrary. SL 2, Programming and software engineering |
|
Lecture notes in computer science ; 7273.
|
|
LNCS sublibrary. SL 2, Programming and software engineering.
|
Contents |
A Reversible Abstract Machine and Its Space Overhead / Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina and Jean-Bernard Stefani -- A Small Model Theorem for Rectangular Hybrid Automata Networks / Taylor T. Johnson and Sayan Mitra -- Analysis of May-Happen-in-Parallel in Concurrent Objects / Elvira Albert, Antonio E. Flores-Montoya and Samir Genaim -- Behavioural Equivalences over Migrating Processes with Timers / Bogdan Aman, Gabriel Ciobanu and Maciej Koutny -- Checking Soundness of Business Processes Compositionally Using Symbolic Observation Graphs / Kais Klai and Jörg Desel -- Beyond Lassos: Complete SMT-Based Bounded Model Checking for Timed Automata / Roland Kindermann, Tommi Junttila and Ilkka Niemelä -- Conformance Testing of Boolean Programs with Multiple Faults / Pavithra Prabhakar and Mahesh Viswanathan -- Knowledge-Based Distributed Conflict Resolution for Multiparty Interactions and Priorities / Saddek Bensalem, Marius Bozga, Jean Quilbeuf and Joseph Sifakis -- Modelling Probabilistic Wireless Networks / (Extended Abstract) / Andrea Cerone and Matthew Hennessy -- Noninterference via Symbolic Execution / Dimiter Milushev, Wim Beck and Dave Clarke -- Defining Distances for All Process Semantics / David Romero Hernández and David de Frutos Escrig -- Secure Multi-Execution through Static Program Transformation / Gilles Barthe, Juan Manuel Crespo, Dominique Devriese, Frank Piessens and Exequiel Rivas -- Synchronous Interface Theories and Time Triggered Scheduling / Benoît Delahaye, Uli Fahrenberg, Thomas A. Henzinger, Axel Legay and Dejan Ničković -- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs / Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay and Darko Marinov, et al. -- Verification of Ad Hoc Networks with Node and Communication Failures / Giorgio Delzanno, Arnaud Sangnier and Gianluigi Zavattaro -- Verification of Timed Erlang Programs Using McErlang / Clara Benac Earle and Lars-Åke Fredlund |
Summary |
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services |
Analysis |
Computer science |
|
Computer Communication Networks |
|
Software engineering |
|
Logic design |
|
Programming Techniques |
|
Programming Languages, Compilers, Interpreters |
|
Logics and Meanings of Programs |
|
Mathematical Logic and Formal Languages |
Bibliography |
Includes bibliographical references and author index |
Subject |
Electronic data processing -- Distributed processing -- Congresses
|
|
Formal methods (Computer science) -- Congresses
|
|
Informatique.
|
|
Electronic data processing -- Distributed processing
|
|
Formal methods (Computer science)
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Giese, Holger.
|
|
Roşu, Grigore.
|
|
FORTE 2012 (2012 : Sweden, Switzerland)
|
ISBN |
9783642307935 |
|
3642307930 |
|
3642307922 |
|
9783642307928 |
|