| Vol-1744 urn:nbn:de:0074-1744-1 Copyright © 2016 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

# FM-DS 2016
Formal Methods Doctoral Symposium 2016

### Proceedings of the Formal Methods 2016 Doctoral Symposium
co-located with 21st International Symposium on Formal Methods (FM 2016)

### Limassol, Cyprus, November 8th, 2016.

Edited by

### Andrew Butterfield *
Matteo Rossi **

* Trinity College Dublin, School of Computer Science and Statistics, Dublin 2, Ireland
** Politechnico di Milano, Dipartimento di Elettronica Informazione e Bioingegneria, Milan, Italy

## Table of Contents

- Preface

### Keynote

- Formal Methods and Future Systems Engineering (invited paper abstract)
  John Fitzgerald

### Session 1

- Parallel Model Checking of ω-Automata
  Vincent Bloemen
- Word-level Formal Verification Using Abstract Satisfaction
  Rajdeep Mukherjee
- A Verified Translation from Circus to CSPm
  Artur Oliveira Gomes

### Session 2

- Efficient Modelling and Analysis of User Interfaces in High-Assurance Systems
  Saulo Rodgrigues e Silva
- Model-Based Database Design
  Ahmed Al-Brashdi
- Quality Analysis and Verification of Data-Intensive Applications
  Francesco Marconi

### Session 3

- Verifying the Co-Simulation Orchestration Engine for INTO-CPS*
  Casper Thule
- Risk Assessment in Collaborative Robotics
  Mehrnoosh Askarpour

2016-11-23: submitted by Andrew Butterfield, metadata incl. bibliographic data published under Creative Commons CC0
2016-11-24: published on CEUR-WS.org |valid HTML5|