\textsc{Cgaal}: distributed on-the-fly ATL model checker with heuristics

DOI10.4204/EPTCS.390.7MaRDI QIDQ6940541zbMATH OpenFDO

Authors Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen

Publication date 19 August 2025

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4204/EPTCS.390.7

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• Alternating-time temporal logic
• Computer aided verification. 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14--20, 2011. Proceedings
• Extended dependency graphs and efficient distributed fixed-point computation
• Handbook of model checking
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• Simple linear-time algorithms for minimal fixed points
• Verification of multiplayer stochastic games via abstract dependency graphs

Cited in

(2)

• On-the-fly verification: advancements in dependency graphs (invited talk)
• On-the-fly symbolic algorithm for timed ATL with abstractions

This page was built for publication: \textsc{Cgaal}: distributed on-the-fly ATL model checker with heuristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940541)