All Stories

  1. A Survey on Automated Symbolic Verification and its Application for Synthesizing Cyber-Physical System

    Article • IET Cyber-Physical Systems Theory & Applications, August 2019, the Institution of Engineering and Technology (the IET)

    Dr. Lucas C Cordeiro, Iury Bessa

  2. ESBMC 5.0: an industrial-strength C model checker

    Article • September 2018, ACM (Association for Computing Machinery)

    Dr. Lucas C Cordeiro

  3. Verifying digital systems with MATLAB

    Article • July 2017, ACM (Association for Computing Machinery)

    Dr. Lucas C Cordeiro

  4. SMT-based context-bounded model checking for CUDA programs

    Article • Concurrency and Computation Practice and Experience, August 2016, Wiley

    Dr. Lucas C Cordeiro, Mr. Felipe R. Monteiro