Proceedings Sixth Workshop on Synthesis

11/28/2017
by   Dana Fisman, et al.
0

The SYNT workshop aims to bring together researchers interested in the broad area of synthesis of computing systems. The goal is to foster the development of frontier techniques in automating the development of computing system. Contributions of interest include algorithms, complexity and decidability analysis, as well as reproducible heuristics, implemented tools, and experimental evaluation. Application domains include software, hardware, embedded, and cyber-physical systems. Computation models include functional, reactive, hybrid and timed systems. Identifying, formalizing, and evaluating synthesis in particular application domains is encouraged. The sixth iteration of the workshop took place in Heidelberg, Germany. It was co-located with the 29th International Conference on Computer Aided Verification. The workshop included four contributed talks, four invited talks, and reports on the Syntax-Guided Synthesis Competition (SyGuS) and the Reactive Synthesis Competition (SYNTCOMP).

READ FULL TEXT
research
09/09/2021

Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis

This volume contains the post-proceedings of the 8th Workshop on Horn Cl...
research
12/13/2016

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

The first International Workshop on Verification and Validation of Cyber...
research
11/29/2017

Performance Heuristics for GR(1) Synthesis and Related Algorithms

Reactive synthesis for the GR(1) fragment of LTL has been implemented an...
research
01/01/2021

Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

The proceedings of the 6th International Workshop on Symbolic-Numeric Me...
research
07/10/2022

Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT

The proceedings of the 7th International Workshop on Symbolic-Numeric Me...
research
11/29/2017

The 4th Reactive Synthesis Competition (SYNTCOMP 2017): Benchmarks, Participants & Results

We report on the fourth reactive synthesis competition (SYNTCOMP 2017). ...
research
06/01/2022

The Reactive Synthesis Competition (SYNTCOMP): 2018-2021

We report on the last four editions of the reactive synthesis competitio...

Please sign up or login with your details

Forgot password? Click here to reset