Polynomial Formal Verification exploiting Constant Cutwidth.

Mohamed Nadeem Jan Kleinekathöfer Rolf Drechsler

Published in: RSP (2023)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
multivariate polynomials
symbolic model checking
temporal logic
program slicing
data sets
expert systems
software engineering
fuzzy sets
low order