New Horizons for Metamorphic Relationships in Formal Verification.

Fernando Asteasuain

Published in: CACIC (2022)

Keyphrases

formal verification
model checking
bounded model checking
automated verification
model checker
symbolic model checking
data sets
temporal logic
program slicing
artificial intelligence
spatial relationships
causal relationships
infinite horizon