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