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...
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cham :
Springer International Publishing : Imprint: Springer,
2015.
|
| Σειρά: | Lecture Notes in Computer Science,
8979 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
