project . 2020 - 2022 . On going

PIGGY

Reasoning using tangles on parity games
Open Access mandate for Publications and Research DataOpen Access mandate for ... European Commission
  • Funder: European CommissionProject code: 893732 Call for proposal: H2020-MSCA-IF-2019
  • Funded under: H2020 | MSCA-IF-EF-ST Overall Budget: 175,572 EURFunder Contribution: 175,572 EUR
  • Status: On going
  • Start Date
    01 Apr 2020
    End Date
    31 Mar 2022
  • Detailed project information (CORDIS)
Description
Virtually all aspects of society, industry and science are significantly impacted by increasingly complex computers and the software that they run. A major objective within computer science is to ensure that these computer systems are formally correct by developing ways to prove that a system correctly implements certain given properties, or ways to construct such a system. In this domain of computer science, an important topic is parity games. Many real-world systems run continuously and properties for such systems are described in temporal logics such as linear temporal logic (LTL) and various logics derived from or related to LTL. Solving parity games compute...
Description
Virtually all aspects of society, industry and science are significantly impacted by increasingly complex computers and the software that they run. A major objective within computer science is to ensure that these computer systems are formally correct by developing ways to prove that a system correctly implements certain given properties, or ways to construct such a system. In this domain of computer science, an important topic is parity games. Many real-world systems run continuously and properties for such systems are described in temporal logics such as linear temporal logic (LTL) and various logics derived from or related to LTL. Solving parity games compute...
Any information missing or wrong?Report an Issue