Automated Verification of Complete Specification with Shape Inference

由 LE QUANG LOC
出版 2014

Frame inference for inductive entailment proofs in separation logic

由 LE, Quang Loc, SUN, Jun, QIN, Shengchao
出版 2018

Satisfiability modulo heap-based programs

由 LE, Quang Loc, SUN, Jun, CHIN, Wei-Ngan
出版 2016

A decidable fragment in separation logic with inductive predicates and arithmetic

由 LE, Quang Loc, TATSUTA, Makoto, SUN, Jun, CHIN, Wei-Ngan
出版 2017

An idealist’s approach for smart contract correctness

由 NGUYEN, Duy Tai, PHAM, Hong Long, SUN, Jun, LE, Quang Loc
出版 2023

Enhancing automated program repair with deductive verification

由 LE, Xuan-Bach D., LE, Quang Loc, LO, David, GOUES, Claire Le
出版 2016

Automatic loop-invariant generation and refinement through selective sampling

由 LI, Jiaying, SUN, Jun, LI, Li, LE, Quang Loc, LIN, Shang-Wei
出版 2017