Refined Modularization for Bounded Model Checking Through Precondition Generation.

Marko Kleine Büning Johannes Meuer Carsten Sinz

Published in: ICFEM (2022)

Keyphrases

bounded model checking
model checking
formal verification
linear temporal logic
temporal logic
multi agent systems
real time
software design
neural network
information systems
software engineering
general purpose
decision problems