The following table provides information about the project.
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV
|Coordinator Country||Germany [DE]|
|Total cost||1˙834˙975 €|
|EC max contribution||1˙834˙975 € (100%)|
1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
|Duration (year-month-day)||from 2015-08-01 to 2020-07-31|
Take a look of project's partnership.
|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|
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 (email@example.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.
Program Analysis and Reorganization, as a ServiceRead More
Ultimate Paleo-Ocean Records from Biogenic CalcitesRead More
DRAIOCHT- A low-cost minimally invasive platform medical device for the treatment of disorders of the cardiovascular system.Read More