What do you think?
Rate this book
Structured Object-Oriented Formal Language and Method: Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers
Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice.- Theory of Test Modeling Based on Regular Expressions.- Integrating Separation Logic with PPTL.- Improved Net Reductions for LTL-X Model-Checking.- Formalizing and Implementing Types in MSVL.- Present-Future Form Graph of Linear Time μ-Calculus.- Prototype Tool for Supporting A Formal Engineering Approach to Service-based Software Modeling.- A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios.- SOFL Specification Animation with Tool Support.- An Approach to Declaring Data Types for Formal Specifications.- Detection Method of the Second-Order SQL Injection in Web Applications.- Applying SOFL to Constructing a Smart Traffic Light Specification.- Checking Internal Consistency of SOFL A Hybrid Approach.
204 pages, Paperback
Published February 26, 2014
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.