Bounded model checking of max-plus linear systems via predicate abstractions

DOI10.1007/978-3-030-29662-9_9zbMath1434.68302arXiv1907.03564OpenAlexW2970341587MaRDI QIDQ2176702

Dieky Adzkiya, Muhammad Syifa'ul Mufid, Alessandro Abate

Publication date: 5 May 2020

Full work available at URL: https://arxiv.org/abs/1907.03564

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Computation of the transient in max-plus linear systems via SMT-solving

This page was built for publication: Bounded model checking of max-plus linear systems via predicate abstractions