A Strategy to Unwind Loops in Incremental Bounded Model Checking for Software.

Yu Wu Qilin Deng Wei Zhang

Published in: AIBDF (2023)

Keyphrases

bounded model checking
model checking
formal verification
software development
linear temporal logic
software maintenance
software systems
temporal logic
software design
computer systems
development process
software tools
user interface
software architecture
data flow