Picture 1 of 1

Stock photo

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 201 - Picture 1 of 1

Lecture Notes in Computer Science Ser.: FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings by Pekka Pihlajasaari (2014, Trade Paperback)

Be the first towrite a review.

grandeagleretail (918565)
98.2% positive feedback

Price:

$124.71

Free shipping

Estimated delivery Mon, May 20 - Thu, May 23

Returns:

30 days returns. Buyer pays for return shipping.

Condition:

Brand New

The 45 papers presented together with 3 invited talks were carefully reviewed and selected from 150 submissions. Publisher Springer International Publishing AG. Author Cliff Jones, Pekka Pihlajasaari, Jun Sun.

About this product

Product Information

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(R) 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.

Product Identifiers

Publisher
Springer International Publishing A&G
ISBN-10
3319064096
ISBN-13
9783319064093
eBay Product ID (ePID)
201644397

Product Key Features

Author
Pekka Pihlajasaari
Publication Name
Fm 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
Format
Trade Paperback
Language
English
Publication Year
2014
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
Xviii, 750 Pages

Dimensions

Item Length
9.3in
Item Width
6.1in
Item Weight
40.8 Oz

Additional Product Features

Series Volume Number
8442
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.758
Table of Content
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.
Copyright Date
2014
Topic
Software Development & Engineering / General, Management Information Systems, Computer Science, Software Development & Engineering / Systems Analysis & Design
Dewey Decimal
004.0151
Intended Audience
Scholarly & Professional
Dewey Edition
23
Illustrated
Yes
Genre
Computers

Shop by category

Picture 1 of 1

Lecture Notes in Computer Science Ser.: FM 2014: Formal Methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings by Pekka Pihlajasaari (2014, Trade Paperback)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Textbooks

Desk Reference to the Diagnostic Criteria from DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR by American Psychiatric Association (2022, Trade Paperback)

Self Heal by Design : The Role of Micro-organisms for Health by Barbara O'Neill (2018, Trade Paperback)

Leadership : Theory and Practice by Peter G. Northouse (2021, Trade Paperback, Revised edition)

Research Design : Qualitative, Quantitative, and Mixed Methods Approaches by J. David Creswell and John W. Creswell (2022, Trade Paperback)

PMBOK® Guide Ser.: Guide to the Project Management Body of Knowledge (PMBOK Guide) and the Standard for Project Management by Project Management Institute (2021, Trade Paperback)

Diagnostic and Statistical Manual of Mental Disorders : DSM-5-TR by American Psychiatric Association (2022, Hardcover)

Save on Textbooks

Diagnostic and Statistical Manual of Mental Disorders DSM-5-TR Free Shipping

PMBOK A Guide to the Project Management Body of Knowledge 7th edition (Pb) 📋

National Electrical Code Handbook, 2023 Edition

Designing Data-Intensive Applications : The Big Ideas Behind Reliable, Scalable,

New 2022 NFPA 72 National Fire Alarm and Signaling Code USA STOCK Free Shipping

The Pocket Guide to the DSM-5-TR Diagnostic Exam by Abraham M..........

You may also like

Computer Science Paperback Textbooks

Kaplan Usmle Step 1 Lecture Notes

Science Fiction Fiction Trade Paperbacks Books

Karl May Paperbacks Books

Nonfiction Methodism Paperbacks Books

Science Fiction Fiction Paperbacks Books