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