Vol-1743⫷ Vol-1744 ⫸Vol-1745
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 CSP _m
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 |