Automated Verification of Complete Specification with Shape Inference

by LE QUANG LOC
Published 2014

Frame inference for inductive entailment proofs in separation logic

by LE, Quang Loc, SUN, Jun, QIN, Shengchao
Published 2018

Satisfiability modulo heap-based programs

by LE, Quang Loc, SUN, Jun, CHIN, Wei-Ngan
Published 2016

A decidable fragment in separation logic with inductive predicates and arithmetic

by LE, Quang Loc, TATSUTA, Makoto, SUN, Jun, CHIN, Wei-Ngan
Published 2017

An idealist’s approach for smart contract correctness

by NGUYEN, Duy Tai, PHAM, Hong Long, SUN, Jun, LE, Quang Loc
Published 2023

Enhancing automated program repair with deductive verification

by LE, Xuan-Bach D., LE, Quang Loc, LO, David, GOUES, Claire Le
Published 2016

Automatic loop-invariant generation and refinement through selective sampling

by LI, Jiaying, SUN, Jun, LI, Li, LE, Quang Loc, LIN, Shang-Wei
Published 2017