Registered user since Mon 21 Jan 2019
Name:Lucas C. Cordeiro
Affiliation:University of Manchester
Research interests:Bounded and Unbounded Model Checking, Automated Software Testing, Program Synthesis and Embedded & Cyber-Physical Systems.
|ICSE 2022||ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts|
|Show activities from other conferences|
Using general profile