Author:
Todorov Vassil,Taha Safouan,Boulanger Frédéric
Publisher
Springer International Publishing
Reference26 articles.
1. Barrett, C., et al.: The SMT-LIB Standard: Version 2.0. Technical report (2010)
2. Lecture Notes in Computer Science;J Bendík,2018
3. Lecture Notes in Computer Science;J Bendík,2018
4. Berryhill, R.: Chasing Minimal Inductive Validity Cores in Hardware Model Checking, October 2019
5. Bradley, A.R., Manna, Z.: Property-directed incremental invariant generation. Formal Aspects Comput. 20, 379–405 (2008). https://doi.org/10.1007/s00165-008-0080-9