Leveraging applications of formal methods, verification and validation. Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings /: Industrial practice : 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings. Part IV : (2018)

• Record Type: Book
• Other Titles: ISoLA 2018
• Further Information: Note: Tiziana Margaria, Bernhard Steffen (eds.).
• Editors: Margaria-Steffen, Tiziana, 1964-; Steffen, Bernhard
• Other Names: ISoLA (Symposium), 8th
• Contents: 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.
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2018
• Extent: 1 online resource (xiv, 530 pages), illustrations (some color)
• Subjects: 004.01/51; Computer science; Formal methods (Computer science) -- Congresses; Robots -- Programming -- Congresses; Machine learning -- Congresses; Computer software -- Verification -- Congresses; Computers -- Programming Languages -- General; Computers -- Computer Science; Computers -- Hardware -- General; Computers -- General; Programming & scripting languages: general; Program concepts / learning to program; Computer science; Computer networking & communications; Information technology: general issues; Software engineering; Electronic data processing; Information theory; Computer network architectures; Computer industry; Computers -- Software Development & Engineering -- General; Software Engineering; Electronic books
• Languages: English
• ISBNs: 9783030034276; 3030034275
• Related ISBNs: 9783030034269
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed November 9, 2018).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.