Structured Object-Oriented Formal Language and Method 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers /

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 sel...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: SpringerLink (Online service)
Other Authors: Liu, Shaoying (Editor), Duan, Zhenhua (Editor)
Format: Electronic eBook
Language:Inglés
Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
Edition:1st ed. 2015.
Series:Theoretical Computer Science and General Issues, 8979
Subjects:
Computer science.
Software engineering.
Compilers (Computer programs).
Machine theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items