The formal verification of the ctm approach to forcing.

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

Published in: CoRR (2022)

Keyphrases

formal verification
model checking
coloured petri nets
model checker
symbolic model checking
bounded model checking
temporal logic
program slicing
automated verification
functional verification
artificial intelligence
multi agent
multi agent systems
expert systems