The formal verification of the ctm approach to forcing.

Emmanuel Gunther Miguel Pagano Pedro Sánchez Terraf Matías Steinberg

Published in: Ann. Pure Appl. Log. (2024)

Keyphrases

formal verification
model checking
model checker
bounded model checking
program slicing
automated verification
functional verification
coloured petri nets
symbolic model checking
expert systems
knowledge acquisition