Del 8442 i serien Lecture Notes in Computer Science

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Häftad, Engelska, 2014

AvCliff Jones,Pekka Pihlajasaari,Jun Sun

1 489 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 19th International Symposium on Formal Methods, FM 2014, held in Singapore, May 2014. The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. The focus of the papers is on the following topics: Interdisciplinary Formal Methods, Practical Applications of Formal Methods in Industrial and Research Settings, Experimental Validation of Tools and Methods as well as Construction and Evolution of Formal Methods Tools.

Produktinformation

Utgivningsdatum2014-04-09
Mått155 x 235 x 41 mm
Vikt1 142 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor750
FörlagSpringer International Publishing AG
ISBN9783319064093

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap

Validity Checking of Put back Transformations in Bidirectional Programming.- Proof Engineering Considered Essential.- Engineering UToPiA: Formal Semantics for CML.- 40 Years of Formal Methods: Some Obstacles and Some Possibilities?.- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.- Definition, Semantics and Analysis of Multi rate Synchronous AADL.- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.- The VerCors Tool for Verification of Concurrent Programs.- Knowledge-Based Automated Repair of Authentication Protocols.- A Simplified Z Semantics for Presentation Interaction Models.- Log Analysis for Data Protection Accountability.- Automatic Compositional Synthesis of Distributed Systems.- Automated Real Proving in PVS via MetiTarski.- Quiescent Consistency: Defining and Verifying Relaxed Linearizability.- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.- Contracts in Practice.- When Equivalence and Bisimulation Join Forces in Probabilistic Automata.- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.- Proof Patterns for Formal Methods.- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.- IscasMc: A Web-Based Probabilistic Model Checker.- Invariants, Well-Founded Statements and Real-Time Program Algebra.- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.- A Symbolic Algorithm for the Analysis of Robust Timed Automata.- Revisiting Compatibility of Input-Output Modal Transition Systems.- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier.- Management of Time Requirements in Component-Based Systems.- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.- Formal Verification of Operational Transformation.- Verification of a Transactional Memory Manager under Hardware Failures and Restarts.- SCJ: Memory-Safety Checking without Annotations.- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems.- Object Propositions.- Flexible Invariants through Semantic Collaboration.- Efficient Tight Field Bounds Computation Based on Shape Predicates.- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison.- Efficient Self-composition for Weakest Precondition Calculi.- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.- A Modular Theory of Object Orientation in Higher-Order UTP.- Formalizing and Verifying a Modern Build Language.- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.- Formally Verifying Graphics FPU: An Intel® Experience.- MDP-Based Reliability Analysis of an Ambient Assisted Living System.- Diagnosing Industrial Business Processes: Early Experiences.- Formal Verification of Lunar Rover Control Software Using UPPAAL.- Formal Verification of a Descent Guidance Control Program of a Lunar Lander.

Mer från samma författare

Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Inbunden, 2018

3 349 kr

Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Häftad, 2019

849 kr

Norvis

Cliff Jones

Häftad, 2013

489 kr

Mirrormaze

Cliff Jones

Häftad, 2020

269 kr

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones

Häftad, 2005

1 479 kr

Cliff Jones: It's a Wonderful Life

Cliff Jones

Inbunden, 2016

409 kr

Del 11180

Symposium on Real-Time and Hybrid Systems

Cliff Jones, Ji Wang, Naijun Zhan

Häftad, 2018

749 kr

VDM '87. VDM - A Formal Method at Work

Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold

Häftad, 1987

749 kr

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

Häftad, 2006

749 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

749 kr

Del 15427

Internet of Things – ICIOT 2024

Shunli Zhang, Liang-Jie Zhang

Häftad, 2024

819 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

729 kr

Compiler Construction

Albert Cohen

Häftad, 2014

719 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

729 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

749 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

749 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

749 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 219 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

749 kr

Du kanske också är intresserad av

Theoretical Aspects of Computing -- ICTAC 2011

Antonio Cerone, Pekka Pihlajasaari

Häftad, 2011

749 kr

Del 11180

Symposium on Real-Time and Hybrid Systems

Cliff Jones, Ji Wang, Naijun Zhan

Häftad, 2018

749 kr

Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Häftad, 2019

849 kr

Cliff Jones: It's a Wonderful Life

Cliff Jones

Inbunden, 2016

409 kr

Living History Anthology

Martha B. Katz-Hyman, Cliff Jones, Susan J. McCabe, Mary Seelhorst

Inbunden, 2018

3 349 kr

VDM '87. VDM - A Formal Method at Work

Dines Bjørner, Cliff Jones, Michael Mac An Airchinnigh, Erich J. Neuhold

Häftad, 1987

749 kr

Norvis

Cliff Jones

Häftad, 2013

489 kr

Mirrormaze

Cliff Jones

Häftad, 2020

269 kr

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

Denis Besnard, Cristina Gacek, Cliff Jones

Häftad, 2005

1 479 kr

Rigorous Development of Complex Fault-Tolerant Systems

Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna

Häftad, 2006

749 kr

Del 8442 i serien Lecture Notes in Computer Science

FM 2014: Formal Methods

19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Häftad, Engelska, 2014

AvCliff Jones,Pekka Pihlajasaari,Jun Sun

1 489 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2014-04-09
Mått155 x 235 x 41 mm
Vikt1 142 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor750
FörlagSpringer International Publishing AG
ISBN9783319064093

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it
Programvaruutveckling inom Data och it
Affärsförhandlingar inom Ekonomi och ledarskap

Validity Checking of Put back Transformations in Bidirectional Programming.- Proof Engineering Considered Essential.- Engineering UToPiA: Formal Semantics for CML.- 40 Years of Formal Methods: Some Obstacles and Some Possibilities?.- A Refinement Based Strategy for Local Deadlock Analysis of Networks of CSP Processes.- Algebraic Principles for Rely-Guarantee Style Concurrency Verification Tools.- Definition, Semantics and Analysis of Multi rate Synchronous AADL.- Trust Found: Towards a Formal Foundation for Model Checking Trusted Computing Platforms.- The VerCors Tool for Verification of Concurrent Programs.- Knowledge-Based Automated Repair of Authentication Protocols.- A Simplified Z Semantics for Presentation Interaction Models.- Log Analysis for Data Protection Accountability.- Automatic Compositional Synthesis of Distributed Systems.- Automated Real Proving in PVS via MetiTarski.- Quiescent Consistency: Defining and Verifying Relaxed Linearizability.- Temporal Precedence Checking for Switched Models and Its Application to a Parallel Landing Protocol.- Contracts in Practice.- When Equivalence and Bisimulation Join Forces in Probabilistic Automata.- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs.- Proof Patterns for Formal Methods.- Efficient Runtime Monitoring with Metric Temporal Logic: A Case Study in the Android Operating System.- IscasMc: A Web-Based Probabilistic Model Checker.- Invariants, Well-Founded Statements and Real-Time Program Algebra.- Checking Liveness Properties of Presburger Counter Systems Using Reachability Analysis.- A Symbolic Algorithm for the Analysis of Robust Timed Automata.- Revisiting Compatibility of Input-Output Modal Transition Systems.- Co-induction Simply: Automatic Co-inductive Proofs in a Program Verifier.- Management of Time Requirements in Component-Based Systems.- Compositional Synthesis of Concurrent Systems through Causal Model Checking and Learning.- Formal Verification of Operational Transformation.- Verification of a Transactional Memory Manager under Hardware Failures and Restarts.- SCJ: Memory-Safety Checking without Annotations.- Refactoring, Refinement and Reasoning: A Logical Characterization for Hybrid Systems.- Object Propositions.- Flexible Invariants through Semantic Collaboration.- Efficient Tight Field Bounds Computation Based on Shape Predicates.- A Graph-Based Transformation Reduction to Reach UPPAAL States Faster.- Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison.- Efficient Self-composition for Weakest Precondition Calculi.- Towards a Formal Analysis of Information Leakage for Signature Attacks in Preferential Elections.- Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.- A Modular Theory of Object Orientation in Higher-Order UTP.- Formalizing and Verifying a Modern Build Language.- The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.- Formally Verifying Graphics FPU: An Intel® Experience.- MDP-Based Reliability Analysis of an Ambient Assisted Living System.- Diagnosing Industrial Business Processes: Early Experiences.- Formal Verification of Lunar Rover Control Software Using UPPAAL.- Formal Verification of a Descent Guidance Control Program of a Lunar Lander.