Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Edición: | 1st ed. 2015. |
| Colección: | Theoretical Computer Science and General Issues,
8979 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- 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.