default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10th SOFL+MSVL 2020: Singapore
- Jinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua Duan:
Structured Object-Oriented Formal Language and Method - 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers. Lecture Notes in Computer Science 12723, Springer 2021, ISBN 978-3-030-77473-8
Modeling and Specification
- Liang Zhao, Zhe Feng, Xiaobing Wang, Xinfeng Shu:
An MSVL-Based Modeling Framework for Back Propagation Neural Networks. 3-22 - Fumiko Nagoya:
A Case Study on Combining Agile Requirements Development and SOFL. 23-33 - Jingzi Wang, Hongyan Mao, Ningkang Jiang:
Formal Modeling and Verification of Microservice-Based Cyber-Physical System. 34-53 - Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou:
Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. 54-65
Model Checking
- Haiyang Wang:
An Unified Model Checking Approach of APTL. 69-78 - Jin Cui, Lianxiang Zhu:
Model Checking Multi-interruption Concurrent Programs with TMSVL. 79-87 - Xinfeng Shu, Zhenyu Wang, Weiran Gao, Xiaobing Wang, Liang Zhao:
An MSVL Based Model Checking Method for Multi-threaded C Programs. 88-101
Specification and Verification
- Busalire Onesmus Emeka, Soichiro Hidaka, Shaoying Liu:
A Formal Approach to Secure Design of RESTful Web APIs Using SOFL. 105-125 - Xu Lu, Bin Yu:
Pointer Program Synthesis as Non-deterministic Planning. 126-141 - Bin Yu, Xu Lu, Hao Chen, Ming Lei, Xiaobing Wang:
Runtime Verification of Ethereum Smart Contracts Based on MSVL. 142-153 - Xiaobing Wang, Ge Li, Chunyi Li
, Liang Zhao, Xinfeng Shu:
Automatic Generation of Specification from Natural Language Based on Temporal Logic. 154-171
Testing and Formal Verification
- Shin Nakajima:
Software Testing with Statistical Partial Oracles - Application to Neural Networks Software -. 175-192 - Meng Wang, Shushan Li:
Formalizing Spark Applications with MSVL. 193-204
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 2025-01-20 23:05 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:
