Description: RV-TheToP: Runtime Verification from the Theory To the industry Practice (Track Introduction).- Opportunities and Challenges in Monitoring Cyber-physical Systems Security.- Migrating Monitors + ABE: A Suitable Combination for Secure IoT?.- Capturing Inter-Process Communication for Runtime Verification on Android.- Considering Academia-Industry Projects Meta-Characteristics in Runtime Verification Design.- Flexible Monitor Deployment for Runtime Verification of Large Scale Software.- Increasing the Reusability of Enforcers with Lifecycle Events.- BDDs on the Run.- Verifying Real-World Software with Contracts for Concurrency.- Formal Methods in Industrial Practice - bridging the gap (Track Summary).- Model-based Testing for Avionic Systems -- Proven Benefits and Further Challenges.- Test Case Generation with PathCrawler/LTest: How to Automate an Industrial Testing Process.- Pitfalls in Applying Model Learning to Industrial Legacy Software.- Formal Verification in Automotive Industry: Enablers and Obstacles.- Scalability of Deductive Verification Depends on Method Call Treatment.- Java Automated Deductive Verification in Practice: Lessons from industrial proof-based projects.- Security Filters for IoT Domain Isolation.- 20 Years of Uppaal Enabled Industrial Model-Based Validation and Beyond.- Verification of Operating System Monolithic Kernels without Extensions.- A Proposal of an Example and Experiments Repository to Foster Industrial Adoption of Formal Methods.- Reliable Smart Contracts: State-of-the-art, Applications, Challenges and Future Directions.- Smart Contracts and Opportunities for Formal Methods.- Contracts over Smart Contracts: Recovering from Violations Dynamically.- Security Analysis of Smart Contracts in Datalog.- Temporal Properties of Smart Contracts.- Temporal Aspects of Smart Contracts for Financial Derivatives.- Marlowe: financial contracts on blockchain.- SMT-based Verification of Solidity Smart Contracts.- Blockchains as Kripke Models: an Analysis of Atomic Cross-Chain Swap.- A Language-Independent Approach To Smart Contract Verification.- Towards Adding Variety to Simplicity.- Fun with Bitcoin smart contracts.- Computing Exact Worst-Case Gas Consumption for Smart Contracts.- Digital Transformation Trends: Industry 4.0, Automation, and AI.- A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways.- Automatic composition of rough solution possibilities in the target planning of factory planning projects by means of combinatory logic.- GOLD: Global Organization aLignment and Decision - Towards the Hierarchical Integration of Heterogeneous Business Models.
Price: 113 AUD
Location: Hillsdale, NSW
End Time: 2024-11-05T03:04:20.000Z
Shipping Cost: 32.92 AUD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 60 Days
Return policy details:
EAN: 9783030034269
UPC: 9783030034269
ISBN: 9783030034269
MPN: N/A
Recommended Age Range: 12+ years
Book Title: Leveraging Applications of Formal Methods, Verific
Item Length: 23.4 cm
Item Height: 235 mm
Item Width: 155 mm
Author: Tiziana Margaria, Bernhard Steffen
Publication Name: Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV
Format: Paperback
Language: English
Publisher: Springer Nature Switzerland Ag
Subject: Engineering & Technology, Computer Science
Publication Year: 2018
Type: Textbook
Item Weight: 825 g
Number of Pages: 530 Pages