DOI10.1142/S012905411340008XzbMath1286.68308MaRDI QIDQ2841996
Silvio Ranise, Silvio Ghilardi, Alessandro Carioni
Publication date: 30 July 2013 Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
zbMATH Keywords
satisfiability modulo theorieswell-quasi-orderingsinfinite state model checking
Mathematics Subject Classification ID
Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work