Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
8 links
Cesare Tinelli
Researcher
PaperRealizability Checking of Contracts with Kind 2Authorship / preprint / 2022PaperPKind: A parallel k-induction based model checkerAuthorship / preprint / 2011PaperSmt-Switch: a solver-agnostic C++ API for SMT SolvingAuthorship / preprint / 2020PaperInvariant stream generators using automatic abstract transformers based on a decidable logicAuthorship / preprint / 2012PaperOn Counterexample Guided Quantifier Instantiation for Synthesis in CVC4Authorship / preprint / 2015PaperGround interpolation for the theory of equalityAuthorship / preprint / 2012PaperExtending SMTCoq, a Certified Checker for SMT (Extended Abstract)Authorship / preprint / 2016PaperReasoning About Vectors using an SMT Theory of SequencesAuthorship / preprint / 2022