SMT-Based Symbolic Model-Checking for Operator Precedence Languages

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: Michele Chiari; Luca Geatti; Nicola Gigante; Matteo Pradella

Journal title: Lecture Notes in Computer Science

Journal number: 14681

Journal publisher: Springer

Published year: 2024

DOI identifier: 10.48550/ARXIV.2405.11327

ISBN: 9783031656262