Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach.

Serenella Cerrito Valentin Goranko Sophie Paillocher

Published in: FSCD (2023)

Keyphrases

model checking
temporal properties
temporal logic
model checker
finite state machines
process algebra
bounded model checking
automated verification
formal verification
concurrent systems
linear time temporal logic
partial order reduction