Abstract Machine Supporting Bit Arithmetic Reasoning

• 一个支持位运算形式化推理的抽象机