PKind: A parallel k-induction based model checker

by Temesghen Kahsai, Cesare Tinelli
Published 2011-10-01

SyGuS Techniques in the Core of an SMT Solver

by Andrew Reynolds, Cesare Tinelli
Published 2017-11-01

Verifying Bit-vector Invertibility Conditions in Coq (Extended Abstract)

by Burak Ekici, Arjun Viswanathan, Yoni Zohar, Clark Barrett, Cesare Tinelli
Published 2019-08-01

Extending SMTCoq, a Certified Checker for SMT (Extended Abstract)

by Burak Ekici, Guy Katz, Chantal Keller, Alain Mebsout, Andrew J. Reynolds, Cesare Tinelli
Published 2016-06-01

VERDICT: A Language and Framework for Engineering Cyber Resilient and Safe System

by Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
Published 2021-03-01