TOrPEDO: witnessing model correctness with topological proofs

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi & Paola Spoletini

Journal title: Formal Aspects of Computing

Journal publisher: Springer Verlag

Published year: 2021

Published pages: 1039–1066

DOI identifier: 10.1007/s00165-021-00564-1

ISSN: 0934-5043