Symbolic Model Checking in the Modular State Space using Binary Decision Diagrams

Zech, LukasLorenz, RobertBergenthum, RobinSchalk, Patrizia2024-10-172024-10-172024https://dl.gi.de/handle/20.500.12116/45016enModel CheckingModular State SpaceBinary Decision DiagramsSymbolic Model Checking in the Modular State Space using Binary Decision DiagramsText/Workshop Paper10.18420/AWPN2024-05