![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
6. SOFL+MSVL 2016: Tokyo, Japan
- Shaoying Liu, Zhenhua Duan, Cong Tian, Fumiko Nagoya:
Structured Object-Oriented Formal Language and Method - 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10189, 2017, ISBN 978-3-319-57707-4
Modeling and Specification
- Zhen You, Jinyun Xue:
Orchestration Combinators in Apla+ Language. 3-14 - Yuwei Wang, Xiuting Tao, Guoqiang Li:
On Termination and Boundedness of Nested Updatable Timed Automata. 15-31 - Qingguo Xu, Huaikou Miao, Robert de Simone, Julien DeAntoni
:
Instant-Based and State-Based Analysis of Infinite Logical Clock. 32-51
Animation and Prototyping
- Xi Wang, Huaikou Miao, Weikai Miao:
Automated Safety Analysis on Scenario-Based Requirements for Train Control System. 55-73 - Fumiko Nagoya, Shaoying Liu:
A Case Study of a GUI-Aided Approach to Constructing Formal Specifications. 74-84 - Qimin Hu, Jinyun Xue, Zhen You:
Formal Development of Linear Structure Reusable Components in PAR Platform. 85-97
Verification and Validation
- Ren Zhao, Xiaohong Li, Guangquan Xu, Zhiyong Feng, Jianye Hao:
E-SSL: An SSL Security-Enhanced Method for Bypassing MITM Attacks in Mobile Internet. 101-120 - Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. 121-143 - Xiaobing Wang, Dongmiao Liu, Liang Zhao, Yina Xue:
Runtime Verification Monitor Construction for Three-valued PPTL. 144-159 - Juan Luo, Shaoying Liu, Yanqin Wang, Tingliang Zhou:
Applying SOFL to a Railway Interlocking System in Industry. 160-177
Model Checking
- Haitao Zhang, Yonggang Lu
:
SMT-based Bounded Model Checking for Cooperative Software with a Deterministic Scheduler. 181-200 - Ha Thi Thu Doan, François Bonnet
, Kazuhiro Ogata:
Model Checking of a Mobile Robots Perpetual Exploration Algorithm. 201-219 - Xinfeng Shu, Chao Li, Chang Liu:
A Visual Modeling Language for MSVL. 220-237
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.