ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Tue 9 Apr 2019 15:00 - 15:15 at SUN I - Tool Demos Chair(s): Marius Mikucionis

We present ROLL 1.0, an $\omega$-regular language learning library with command line tools to learn and complement B"uchi automata. This open source Java library implements all existing learning algorithms for the complete class of $\omega$-regular languages. In addition to that, new B"uchi automata operations such as complementation based on learning have been added into ROLL. The tool accepts a B"uchi automaton represented in the Hanoi Omega Automata Format and in the BA format used by the tool RABIT. Besides being useful to researchers, its Jupyter notebook can also be used in interactive environments to teach automata learning algorithms, especially the B"uchi automata learning.

Tue 9 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 16:00: Tool DemosTACAS at SUN I
Chair(s): Marius MikucionisAalborg University
14:00 - 14:15
Talk
nonreach – A Tool for Nonreachability Analysis
TACAS
Florian Messner, Christian SternagelUniversity of Innsbruck, Austria
Link to publication
14:15 - 14:30
Talk
The Quantitative Verification Benchmark Set
TACAS
Arnd HartmannsUniversity of Twente, Michaela KlauckSaarland Informatics Campus, Saarland University, David ParkerUniversity of Birmingham, Tim QuatmannRWTH Aachen University, Enno Ruijters
Link to publication
14:30 - 14:45
Talk
ILAng: A Modeling Platform for SoC Verification using Instruction-Level Abstractions
TACAS
Bo-Yuan HuangPrinceton University, USA, Hongce Zhang, Aarti GuptaPrinceton University, Sharad MalikPrinceton University
Link to publication
14:45 - 15:00
Talk
MetAcsl: Specification and Verification of High-Level Properties
TACAS
Link to publication
15:00 - 15:15
Talk
ROLL 1.0: $\omega$-Regular Language Learning Library
TACAS
Yu-Fang ChenAcademia Sinica, Yong LiInstitute of Software, Chinese Academy of Sciences, Xuechao Sun, Andrea TurriniState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Junnan Xu
Link to publication
15:15 - 15:30
Talk
Symbolic Regex Matcher
TACAS
Margus VeanesMicrosoft Research, Olli Saarikivi, Eric XuMicrosoft, USA, Tiki Wan
Link to publication
15:30 - 15:45
Talk
COMPASS 3.0
TACAS
Marco Bozzano, Harold Bruintjes, Alessandro CimattiFondazione Bruno Kessler, Joost-Pieter KatoenRWTH Aachen University, Thomas NollRWTH Aachen University, Stefano TonettaFondazione Bruno Kessler, Italy
Link to publication
15:45 - 16:00
Talk
Debugging of Behavioural Models with CLEAR
TACAS
Gianluca BarbonUniversit� Grenoble Alpes, Inria, LIG, Vincent LeroyUniversity of Grenoble - CNRS, Gwen SalaünUniversity of Grenoble Alpes
Link to publication