Structured Object-Oriented Formal Language and Method

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

AvShaoying Liu,Zhenhua Duan

Häftad, Engelska, 2015

Del 8979 i serien Lecture Notes in Computer Science

443 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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

Utgivningsdatum:2015-04-27
Mått:155 x 235 x 12 mm
Vikt:312 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:189
Förlag:Springer International Publishing AG
ISBN:9783319174037

Utforska kategorier

Innehållsförteckning

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.