{ "item_title" : "Integrated Formal Methods", "item_author" : [" Elvira Albert", "Emil Sekerinski "], "item_description" : "Shape and Content: A Database-Theoretic Perspective on the Analysis of Data Structures.- How to Break the Bank: Semantics of Capability Policies.- Model-Checking Circus State-Rich Specifications.- An Interactive Verification Tool Meets an IDE.- An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems.- Modeling UML Template Classes with FoCaLiZe.- Integrating Event-B Modelling and Discrete-Event Simulation to Analyse Resilience of Data Stores in the Cloud.- Applying an Integrated Modelling Process to Run-time Management of Many-Core Systems.- Verifying Behavioral UML Systems via CEGAR.- Formal Refinement in SysML.- Verifying Modal Workflow Specifications Using Constraint Solving.-Proofs and Refutations in Invariant-Based Programming.- Automated Theorem Prover Assisted Program Calculations.- Managing LTL Properties in Event-B Refinement.- Formal Security Analysis of the MaCAN Protocol.- A Probabilistic Framework for Security Scenarios with Dependent Actions.- A Hybrid Analysis for Security Protocols with State.- Towards a Formal Semantics-Based Technique for Interprocedural Slicing.- Integrating Software and Hardware Verification.- Code Generation for Event-B.- Verifying Linearizability on TSO Architectures.- A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset.- A Separation Principle for Embedded System Interfacing.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/3/31/910/180/3319101803_b.jpg", "price_data" : { "retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }

Overview

Customers Also Bought

Details