Dynamical and Arithmetical Model Checking

About

Research

Software & Code
Publications
Research & Education Materials

News & Events

Workshops & Conferences
News & Announcements

Blog Archive

Search and browse all blog posts. Click a card to expand.

← Back to News

0 item(s)

Blog cover

Blog

A new approach to X

Dynamical and Arithmetical Model Checking

Max Plack Institute for Software Systems
Saarland Informatics Campus
Campus E1 5, 66123 Saarbrücken, Germany

Grant Management
Email: dynamics@mpi-sws.org
Phone: +49 (0)68193039721

Imprint Data Protection

DynAMiCs is funded by European Research Council (ERC) under the program HORIZON ERC Synergy Grants (Grant ID: 101167561)

Views and opinions expressed are however those of the author(s) only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them.

© Max Planck Gesellschaft. All rights reserved.