Publication:2786907
From MaRDI portal
zbMath1331.68141MaRDI QIDQ2786907
Gianpaolo Rossi, Francesco Alberti, Silvio Ranise, Silvio Ghilardi, Elena Pagani
Publication date: 23 February 2016
Related Items
What You Always Wanted to Know About Model Checking of Fault-Tolerant Distributed Algorithms, SMT-based generation of symbolic automata, Verification of SMT systems with quantifiers, SMT-based verification of data-aware processes: a model-theoretic approach, An extension of lazy abstraction with interpolation for programs with arrays, Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms