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.


See here.

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.

Workshop venue: The workshop is be co-located with ICFEM 2018 and will be held at Novotel Surfers Paradise:
3105 Surfers Paradise Boulevard, 4217 Surfers Paradise, Queensland, Australia.
Tel: +61 7 5579 3499. Fax: +61 7 5592 0026. Email:

We have negotiated with Novotel for a discount on accommodation. AWASE 2018 delegates can book a Superior Room with Breakfast for $155 AUD per night (GST inclusive), for one (1) guest and subject to availability at time of booking. Bedding configuration is King or 2 x Queen Beds. As a special offer delegates will receive a complimentary upgrade to the deluxe room (recently refurbished).

To book a room delegates should call the hotel direct on +61 (0) 7 5579 3499 or email reservations on and quote “Griffith” to receive this special rate. Our reservations team are aware of the special rate and will be able to assist delegates with any queries. Our reservations team can provide delegates with a secure link to pay for their room online as well.

Conditions: Rates quote are inclusive of x1 breakfast each day. Additional breakfasts are available at a discounted rate of $20 per person if selected at time of booking. Normal rate of $32 per person applies after this time if consumed during stay period. Car parking is available on site through Secure Parking, entry via Hanlan Street, A special single exit pass is available at a flat rate of $8 per day for hotel guests and conference delegates, or $17 for unlimited entry and exit per day. Please see hotel reception for validation of your parking ticket prior to departure.


From Brisbane International Airport: Take the BDVL train line from Brisbane International Airport Station Platform 1 towards Varsity Lakes, get off at Helensvale Station and walk to Platform 5. Take the GLKS train line towards Broadbeach South, get off at Cavill Avenue Station. Walk south for 150 meters to reach Novetel Surfers Paradise. The train leaves every 30 min. Travel time around 2 hours 20 min.

From Gold Coast Airport: Take the 777 bus from Gold Coast Airport Station towards Broadbeach South, get off at Broadbeach South Station and take the GLKS train line towards Helensvale, get off at Cavill Avenue Station. Walk south for 120 meters to reach Novetel Surfers Paradise. The bus leaves every 15 min. Travel time around 50 min.

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

Contact us

Natalie Dunstan

Institute for Integrated and Intelligent Systems

+61 7 3735 3757


To be announced.