An Algebra of Alignment for Relational Verification von Antonopoulos, Timos, Koskinen, Eric, Le, Ton Chanh, Nagasamudram, Ramana, Naumann, David A., Ngo, Minh

Volltext

Specification and inference of trace refinement relations von Antonopoulos, Timos, Koskinen, Eric, Le, Ton Chanh

Volltext

Automated Mutual Explicit Induction Proof in Separation Logic von Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Volltext

Automated lemma synthesis in symbolic-heap separation logic von Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Volltext

Proving LTL Properties of Bitvector Programs and Decompiled Binaries von Liu, Yuandong Cyrus, Pang, Chengbin, Dietsch, Daniel, Koskinen, Eric, Le, Ton-Chanh, Portokalidis, Georgios, Xu, Jun

Volltext

DynamiTe: dynamic termination and non-termination proofs von Le, Ton Chanh, Antonopoulos, Timos, Fathololumi, Parisa, Koskinen, Eric, Nguyen, ThanhVu

Volltext

Termination and non-termination specification inference von Le, Ton Chanh, Qin, Shengchao, Chin, Wei-Ngan

Volltext

Automated mutual induction proof in separation logic von Ta, Quang-Trung, Le, Ton Chanh, Khoo, Siau-Cheng, Chin, Wei-Ngan

Volltext

A Resource-Based Logic for Termination and Non-termination Proofs von Le, Ton Chanh, Gherghina, Cristian, Hobor, Aquinas, Chin, Wei-Ngan

Volltext

The Game Among Bribers in a Smart Contract System von Chen, Lin, Xu, Lei, Gao, Zhimin, Shah, Nolan, Le, Ton Chanh, Lu, Yang, Shi, Weidong

Volltext

Source-Level Bitwise Branching for Temporal Verification von Liu, Yuandong Cyrus, Le, Ton-Chanh, Koskinen, Eric

Volltext bestellen

DrNLA: Extending Verification to Non-linear Programs through Dual Re-writing von Liu, Yuandong Cyrus, Le, Ton-Chanh, Antonopoulos, Timos, Koskinen, Eric, Nguyen, ThanhVu

Volltext bestellen

An algebra of alignment for relational verification von Antonopoulos, Timos, Koskinen, Eric, Le, Ton Chanh, Nagasamudram, Ramana, Naumann, David A, Ngo, Minh

Volltext

SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic von Le, Ton Chanh, Zheng, Guolong, Nguyen, ThanhVu

Volltext bestellen

Specification and Inference of Trace Refinement Relations von Antonopoulos, Timos, Koskinen, Eric, Le, Ton-Chanh

Volltext bestellen

Automated Verification of CountDownLatch von Chin, Wei-Ngan, Le, Ton Chanh, Qin, Shengchao

Volltext bestellen

Proving LTL Properties of Bitvector Programs and Decompiled Binaries (Extended) von Liu, Yuandong Cyrus, Pang, Chengbin, Dietsch, Daniel, Koskinen, Eric, Le, Ton-Chanh, Portokalidis, Georgios, Xu, Jun

Volltext bestellen

DynamiTe: Dynamic Termination and Non-termination Proofs von Le, Ton Chanh, Antonopoulos, Timos, Fathololumi, Parisa, Koskinen, Eric, Nguyen, ThanhVu

Volltext bestellen

Preliminary Notes on Termination and Non-Termination Reasoning von Le, Ton Chanh

Volltext bestellen

Source-Level Bitwise Branching for Temporal Verification von Liu, Yuandong Cyrus, Le, Ton-Chanh, Koskinen, Eric

Volltext