The 8th international workshop on SOFL + MSVL for Reliability and Security

16 November 2018 - Gold Coast, Australia

Welcome to the website of The 8th international workshop on SOFL + MSVL for Reliability and Security (SOFL+MSVL 2018)

There is a growing interest in applying formal methods in practice to improve software reliability and security. However, this interest has not been successfully converted into the reality of most application. How to enable practitioners to easily and effectively use formal techniques remains challenging.

The Structured Object-Oriented Formal Language (SOFL) has been developed to address this challenge by providing a comprehensible specification language, a practical modeling method, various verification and validation techniques, and tool support through effective integration of formal methods with conventional software engineering techniques. The Modeling, Simulation and Verification Language (MSVL) is a parallel programming language, and its supporting toolkit MSV has been developed to enable us to model, simulate and verify a system in a formal manner.

This workshop aims to continuously promote the development and combinations of the SOFL formal engineering method and the formal method MSVL, as well as the applications of their fundamental principles or specific techniques to developing other formal engineering techniques. We expect to bring industrial, academic and government experts of SOFL and MSVL to communicate and to exchange ideas. Researchers, practitioners, tool developers and users, and technology transfer experts are all welcome. The scope of the interest includes, but not limited to, all of the possible issues in relation to SOFL, MSVL, or their applications in both developing other formal engineering techniques and specific software systems.

This year SOFL+MSVL will be co-hosted with ICFEM2018.

We look forward to your contribution and participation.

Important Dates

Paper submission: 15 August 2018

Acceptance/Rejection notification: 2 September 2018

Camera ready Paper Due: 22 December 2018

Registration Deadline: TBD

Workshop Date: 16 November 2018

Scope and Topics

The scientific topics of the workshop include, but are not limited to:

  • Modeling and specification
  • Integration of prototyping and formal specification
  • Integration of agile methods and formal specification
  • Specification inspection and verification
  • Specification animation
  • Automatic transformation
  • Specification-based inspection and verification
  • Specification-based testing
  • Evolution and refinement
  • Model checking
  • Software process
  • Project management
  • Service-oriented computing
  • Data intensive computing
  • Many core parallel computing
  • Security of software
  • Application and software tools
  • Semantics


Submissions to the workshop can be done through the submission webpage and must not have been published or be concurrently considered for publication elsewhere. Papers must be written in English and should be no longer than 20 pages in Springer’s LNCS format. The workshop proceedings will be published as an LNCS post-proceedings by Springer.


Available soon...

Host city and accomodation

Gold Coast is blessed with an enviable climate, world-class facilities and convenient public transport networks.

Delegates can easily access activities like cruising on the Bay, with the lush rainforests of the Scenic Rim and the beaches of the Gold Coast and Sunshine Coast within a short drive of the city centre.

More details available soon.


More details available soon.

Visa Application

Attendees that require a visa may request a support letter from
Additional visa information can be found here

Organising Committee

Program Chairs

Shaoying Liu, Hosei University, Japan
Zhenhua Duan,, Xidian University, China

Organizing Co-Chairs

Cong Tian, Xidian University, China
Fumiko Nagoya, Nippon University, Japan

Program Committee

Yuting Chen, Shanghai Jiaotong University, China
Busalire Emeka, Hosei University, Japan
Colin Fidge, Queensland University of Technology, Australia
Huaikou Miao, Shanghai University, China
Weikai Miao, East China Normal University, China
Fumiko Nagoya, Nippon University, Japan
Shin Nakajima, NII, Japan
Kazuhiro Ogata, JAIST, Japan
Shengchao Qin, Teesside University, UK
Wuwei Shen, Western Michigan University, USA
Xinfeng Shu, Xi’an University of Posts and Telecomunications, China
Cong Tian, Xidian University, China
Rong Wang, Hosei University, Japan
Xi Wang, Shanghai University, China
Jinyun Xue, Jiangxi Normal University, China


Available soon...

Contact us

Natalie Dunstan

Institute for Integrated and Intelligent Systems

+61 7 3735 3757


To be announced.