Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Algorithms for the Quantitative Analysis of Infinite-State Systems
Speaker:Christoph Haase
coming from:Laboratoire Spécification et Vérification, Cachan, France
Speakers Bio:
Event Type:SWS Colloquium
Visibility:D1, D2, D3, D4, D5, SWS, RG1, MMCI
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Monday, 20 June 2016
Time:10:30
Duration:60 Minutes
Location:Kaiserslautern
Building:G26
Room:111
Abstract
Counter automata are an appealing formal model of systems and programs
with an unbounded number of states that find a plethora of
applications, for instance in the verification of concurrent
shared-memory programs. A counter automaton comprises a finite-state
controller with a finite number of counters ranging over the natural
numbers that can be incremented, decremented and tested for zero when
a transition is taken. Despite having been studied since the early
days of computer science, many important problems about decidable
subclasses of counter automata have remained unsolved. This talk will
give an overview over the history and some of the progress on both
theoretical and practical aspects of counter automata that has been made
over the last two years, focusing on new results concerning reachability,
stochastic extensions, practical decision procedures, and the challenges
that lie ahead.

This talk is based on joint work with M. Blondin (Montreal), A. Finkel
(Cachan), S. Haddad (Cachan), P. Hofman (Cachan), S. Kiefer (Oxford)
and M. Lohrey (Siegen).
Contact
Name(s):Susanne Girard
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:YesTo Location:Saarbrücken
To Building:E1 5To Room:029
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
Created by:Susanne Girard/MPI-SWS, 06/16/2016 02:35 PMLast modified by:Uwe Brahm/MPII/DE, 11/24/2016 04:13 PM
  • Susanne Girard, 06/16/2016 02:39 PM -- Created document.