Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
type: Item
instance of: scholarly article
title: Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
zbMATH Open document ID: 1213.68378
DOI: 10.1007/978-3-540-73595-3_25
author: Silvio Ghilardi
author: Enrica Nicolini
author: Silvio Ranise
author: Daniele Zucchelli
published in: Automated Deduction – CADE-21
publication date: 2009-03-06T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5523785
MaRDI profile type: Publication
full work available at URL: 978-3-540-73595-3 25
OpenAlex ID: W1495032777
Recommended article: Q4501131
Recommended article: Q4234763
Recommended article: A decidability result for the model checking of infinite-state systems
Recommended article: Q4817540
Recommended article: Decidability of model checking for infinite-state concurrent systems
Recommended article: Bounded model checking of infinite state systems
Recommended article: Computer Aided Verification
Recommended article: Equivalence-Checking with Infinite-State Systems: Techniques and Results
Recommended article: Equivalence-checking on infinite-state systems: Techniques and results
description: scientific article