Structured Object-Oriented Formal Language and Method

4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers

Häftad, Engelska, 2015

589 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the thoroughly refereed post-workshop proceedings of the 4th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2014, held in Luxembourg, Luxembourg, in November 2014. The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions.

Produktinformation

Utgivningsdatum2015-04-27
Mått155 x 235 x 12 mm
Vikt312 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor189
FörlagSpringer International Publishing AG
ISBN9783319174037

Tillhör följande kategorier

Testing and Inspection.- An Implementation Framework for Optimizing Test Case Generation Using Model Checking.- Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification.- Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications.- Model Checking and Animation.- Unified Bounded Model Checking for MSVL.- An Over-Approximation Forward Analysis for Nested Timed Automata.- Adopting Variable Dependency in Animation for Presenting the Behaviour of Process.- Education and Verification.- Using Alloy in Introductory Courses of Formal Methods.- Automatic Verification for Later-Correspondence of Security Protocols.- Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency.- Semantics and Analysis Formal Semantics of Orc Based on TLAþ.- Incremental Points-to Analysis for Java via Edit Propagation.- A Memory Management Mechanism for MSVL.