Strategies, Model Checking and Branching-Time Properties in Maude

DOI10.1007/978-3-030-63595-4_9WikidataQ123905807 ScholiaQ123905807MaRDI QIDQ6486043

Narciso Martí-Oliet, Alberto Verdejo, Rubén Rubio, Isabel Pita

Publication date: 22 December 2022

Published in: 1517.6817 (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

This page was built for publication: Strategies, Model Checking and Branching-Time Properties in Maude