About the decision of reachability for register machines
From MaRDI portal
Publication:4405553
DOI10.1051/ita:2003001zbMath1034.68057MaRDI QIDQ4405553
Publication date: 2002
Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)
Full work available at URL: http://www.numdam.org/item?id=ITA_2002__36_4_341_0
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Forward analysis and model checking for trace bounded WSTS, Model-checking CTL* over flat Presburger counter systems, Forward Analysis and Model Checking for Trace Bounded WSTS, Linear-time temporal logics with Presburger constraints: an overview ★
Cites Work