Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus

ISBN-13: 9783030034269 / Angielski / Miękka / 2018 / 530 str.

Tiziana Margaria; Bernhard Steffen

Spis treści

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.