Posted: 10th January 2012

Two papers co-authored by Oxford Computer Scientists have been accepted to the Tools and Algorithms for the Construction and Analysis of Systems conference.

These are: 

• Automatic Verification of Competitive Stochastic Systems by Taolue Chen, Vojtech Forejt, Marta Kwiatkowska, David Parker and Aistis Simaitis.

• Numeric Bounds Analysis with Conflict-Driven Learning by Vijay D'Silva, Leopold Haller, Daniel Kroening and Michael Tautschnig.

As part of TACAS, a Software Verification Competition is held for the first time. Out of the ten tools participating, three entries involve co-authors from Oxford.

SATabs 3.0 - Alastair Donaldson, Alexander Kaiser, Daniel Kroening, Michael Tautschnig, and Thomas Wahl

Wolverine 0.5c - Georg Weissenbacher, Daniel Kroening, and Sharad Malik (Princetown University)

FShell 1.3 - Andreas Holzer ( Vienna University of Technology), Daniel Kroening, Christian Schallhart, Michael Tautschnig, and Helmut Veith (Vienna University of Technology)

TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems.  The conference serves to bridge the gaps between different communities that share common interests in, and techniques for, tool development and its algorithmic foundations.  The research areas covered include formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time systems, communications protocols, and biological systems. 

TACAS is a member conference of the European Joint Conferences on Theory and Practice of Software (ETAPS), which is the primary European forum for academic and industrial researchers working on topics relating to Software Science.