×

CTLSAT

swMATH ID: 31991
Software Authors: Prezza, N
Description: CTL (Computation Tree Logic) SAT solver
Homepage: https://github.com/nicolaprezza/CTLSAT
Related Software: Mr. Waffles; EAGLE; MCMAS-SLK; MOCHA; PRALINE; MCMAS; Uppaal; PRISM; Alpaga
Referenced in: 1 Publication

Referenced in 0 Serials

Referencing Publications by Year