Ranking Function Synthesis for Bit-Vector Relations
Abstract elided by the publisher.
Related papers
- Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs ESOP 2015
- Enhanced Enumeration Techniques for Syntax-Guided Synthesis of Bit-Vector Manipulations POPL 2024
- Synthesizing Ranking Functions from Bits and Pieces TACAS 2016
- Synthesis of ranking functions using extremal counterexamples PLDI 2015
- Solving Quantified Bit-Vectors Using Invertibility Conditions CAV 2018
- HOLL: Program Synthesis for Higher Order Logic Locking TACAS 2022
- Automated synthesis of symbolic instruction encodings from I/O samples PLDI 2012
- Synthesis of Linear Ranking Functions TACAS 2001