FuzzBtor2: A Random Generator of Word-Level Model Checking Problems in Btor2 Format.

Shengping Xiao Chengyu Zhang Jianwen Li Geguang Pu

Published in: TACAS (2) (2023)

Keyphrases

model checking
temporal logic
word level
model checker
formal verification
automated verification
finite state
language independent
epistemic logic
symbolic model checking
timed automata
bounded model checking
machine vision
artificial intelligence
modal logic
document images
temporal properties
np complete