What do you think?
Rate this book
Structured Object-Oriented Formal Language and Method: 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers
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.
200 pages, Paperback
Published April 22, 2015
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
No one has reviewed this book yet.