PRISM-games Software Authors: Chen, Taolue; Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David; Simaitis, Aistis Cited in: 23 Publications (2013–2022) Related Software: PRISM; MCMAS; GIST; EAGLE; GAVS; MCMAS-SLK; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Strix Software Authors: Luttenberger, Michael; Meyer, Philipp J.; Sickert, Salomon Cited in: 13 Publications (2019–2021) Related Software: PGSolver; Acacia+; CUDD; MONA; nuXmv; ABC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
EVE Software Authors: Muhammad Najib Cited in: 4 Publications (2019–2021) Related Software: MCMAS; MCMAS-SLK; PRISM-games; EAGLE; PRALINE; MOCHA; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
LTLMoP Software Authors: Cameron Finucane; Gangyuan Jing; Hadas Kress-Gazit Cited in: 4 Publications (2017–2020) Related Software: TuLiP; PESSOA; ModelPlex; C-CoRN; Coq; pypoman; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
pFaces Software Authors: Khaled, Mahmoud; Zamani, Majid Cited in: 3 Publications (2019–2020) Related Software: ROCS; SCOTS; CoSyma; AMYTISS; StocHy; SReachTools; … Main Fields: Computer science (68-XX); Systems theory; control (93-XX)
SCCharts Software Authors: R. von Hanxleden et al. Cited in: 2 Publications (2015–2018) Related Software: Esterel; NAT2TEST; Boogie; contractLarva; DeltaEcore; DarwinSPL; … Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX)
Sigali Software Authors: H. Marchand Cited in: 0 Publications Related Software: SPIN; MARTE Main Fields: –