default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSOFL+MSVL 2014: Luxembourg
- Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8979, Springer 2015, ISBN 978-3-319-17403-7
Testing and Inspection
- Longhui Chang, Huaikou Miao, Gongzheng Lu:
An Implementation Framework for Optimizing Test Case Generation Using Model Checking. 3-16 - Yuqin Zhou, Taku Sugihara, Yuji Sato
:
Applying GA with Tabu list for Automatically Generating Test Cases Based on Formal Specification. 17-31 - Jinghua Zhang, Shaoying Liu:
Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. 32-46
Model Checking and Animation
- Bin Yu, Zhenhua Duan, Cong Tian:
Unified Bounded Model Checking for MSVL. 49-61 - Yunqing Wen, Guoqiang Li, Shoji Yuen:
An Over-Approximation Forward Analysis for Nested Timed Automata. 62-80 - Mo Li, Shaoying Liu:
Adopting Variable Dependency in Animation for Presenting the Behaviour of Process. 81-93
Education and Verification
- Shin Nakajima:
Using Alloy in Introductory Courses of Formal Methods. 97-110 - Xiaofei Xie, Xiaohong Li, Yang Liu, Li Li, Ruitao Feng, Zhiyong Feng:
Automatic Verification for Later-Correspondence of Security Protocols. 111-126 - Xiaoxiao Yang:
Combining Separation Logic and Projection Temporal Logic to Reason About Non-blocking Concurrency. 127-144
Semantics and Analysis
- Zhen You, Jinyun Xue, Qimin Hu, Yi Hong:
Formal Semantics of Orc Based on TLA+. 147-163 - Yuting Chen, Qiuwei Shi, Weikai Miao:
Incremental Points-to Analysis for Java via Edit Propagation. 164-178 - Kai Yang, Zhenhua Duan, Cong Tian:
A Memory Management Mechanism for MSVL. 179-188
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-27 21:35 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
