Bounded Model Checking for LLVM.

Siddharth Priya Yusen Su Yuyan Bao Xiang Zhou Yakir Vizel Arie Gurfinkel

Published in: FMCAD (2022)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
cooperative
state space
domain independent
formal methods
transition systems