solc-verify: A Modular Verifier for Solidity Smart Contracts Software Verification with Abstraction-Based Methods A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework Theta: a Framework for Abstraction Refinement-Based Model Checking Towards Evaluating Size Reduction Techniques for Software Model Checking Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers Exploratory Analysis of the Performance of a Configurable CEGAR Framework A Configurable CEGAR Framework with Interpolation-Based Refinements Petri Net Based Trajectory Optimization Extensions to the CEGAR Approach on Petri Nets New Search Strategies for the Petri Net CEGAR Approach 
