Opendata, web and dolomites

AVS-ISS SIGNED

Analysis, Verification, and Synthesis for Infinite-State Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

 AVS-ISS project word cloud

Explore the words cloud of the AVS-ISS project. It provides you a very rough idea of what is the project "AVS-ISS" about.

algorithmic    parametric    fundamental    insights    automata    dynamical    linear    counter    mathematical    model    questions    verification    tools    checking   

Project "AVS-ISS" data sheet

The following table provides information about the project.

Coordinator
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV 

Organization address
address: HOFGARTENSTRASSE 8
city: MUENCHEN
postcode: 80539
website: www.mpg.de

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Germany [DE]
 Total cost 1˙834˙975 €
 EC max contribution 1˙834˙975 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2014-CoG
 Funding Scheme /ERC-COG
 Starting year 2015
 Duration (year-month-day) from 2015-08-01   to  2020-07-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV DE (MUENCHEN) coordinator 62˙500.00
2    THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD UK (OXFORD) participant 1˙772˙475.00

Mappa

 Project objective

The central objective of this project is to investigate key algorithmic verification questions concerning two fundamental mathematical structures used to model and analyse infinite-state systems, namely discrete linear dynamical systems and counter automata, in both ordinary and parametric form. Motivated especially by applications to software model checking (more specifically the termination of linear loops and predicate abstraction computations), as well as parametric real-time reasoning and the verification of Markov chains, we will focus on model-checking, module-checking, and synthesis problems for linear dynamical systems and one-counter automata against various fragments and extensions of Linear Temporal Logic (LTL) specifications. The key deliverables will be novel verification algorithms along with a map of the complexity landscape. A second objective is then to transfer algorithmic insights into practical verification methodologies and tools, in collaboration with colleagues in academia and industrial research laboratories.

We will build on a series of recent advances and breakthroughs in these areas (some of which from the PI’s team) to attack a range of specific algorithmic problems. We believe that this line of research will not only result in fundamental theoretical contributions and insights in their own right—potentially answering mathematical questions that have been open for years or even decades—but will also impact the practice of formal verification and lead to new and more powerful methods and tools for the use of engineers and programmers.

 Work performed, outcomes and results:  advancements report(s) 

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "AVS-ISS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "AVS-ISS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

PARSe (2018)

Program Analysis and Reorganization, as a Service

Read More  

UltraPal (2018)

Ultimate Paleo-Ocean Records from Biogenic Calcites

Read More  

DRAIOCHT (2019)

DRAIOCHT- A low-cost minimally invasive platform medical device for the treatment of disorders of the cardiovascular system.

Read More