Track: Safety and Verification
-
Track Chairs:
- Tatsuhiro Tsuchiya, Osaka University, Japan
- Cyrille Valentin Artho, National Institute of Advanced Industrial Science and Technology (AIST), Japan
- Borzoo Bonakdarpour, University of Waterloo, Canada
- Vijay Garg, University of Texas at Austin, USA
- Sandeep Kulkarni, Michigan State University, USA
- Stephan Merz, INRIA Lorraine, France
- Sayan Mitra, University of Illinois at Urbana-Champaign, USA
- Kazuhiro Ogata, Japan Advanced Institute of Science and Technology (JAIST), Japan
- Oliver Theel, University of Oldenburg, Germany
- Keiichi Yasumoto, Nara Institute of Science and Technology (NAIST), Japan
- Validation and verification of distributed systems
- Dependability analysis
- Models for distributed systems
- Specification and programming languages
- Synthesis techniques
- Tools and case studies
Track Program Committee:
Validation, verification and reliability assessment are prerequisite for developing highly dependable distributed systems. The Safety and Verification track of SSS will focus on formal or mathematical techniques related to these issues.
Topics include, but are not limited to: