- ESBMC is a software model checker for detecting and proving the absence of runtime errors for C/C++, Kotlin, Python, and Solidity programs.
lucasccordeiro Goto Github PK
Name: Lucas C. Cordeiro
Type: User
Company: The University of Manchester, UK
Bio: Lucas C. Cordeiro is a Reader in the Department of Computer Science at the University of Manchester/UK and an Adjunct Professor at UFAM/Brazil.
Location: Manchester