Esterel Software Authors: Gérard Berry Cited in: 135 Publications (1985–2023) Related Software: SIGNAL; LUSTRE; Uppaal; ULM; Simulink; SPIN; … Main Fields: –
Bio-PEPA Software Authors: Federica Ciocchetta, Maria Luisa Guerriero, Vashti Galpin, Jane Hillston, Giulio Caravagna, Allan Clark, Andrea Degasperi, Adam Duguid, Kanimozhi Ellavarason, Stephen Gilmore, Laurence Loewe, Dimitrios Milios Cited in: 91 Publications (2008–2022) Related Software: PEPA; PRISM; BIOCHAM; BioNetGen; BlenX; LBS; … Main Fields: (68Q85-XX); (92B05-XX); (92C40-XX)
MRMC Software Authors: Joost-Pieter Katoen; RWTH Aachen Cited in: 67 Publications (2006–2022) Related Software: PRISM; Ymer; Uppaal; CADP; Storm; CEGAR; … Main Fields: –
MWB Software Authors: Björn Victor, Faron Moller Cited in: 31 Publications (1998–2021) Related Software: Petruchio; Pict; PRISM; MMC; SPEC; ContentCVS; … Main Fields: –
MATISSE Software Authors: Girard, Antoine; Pappas, George J. Cited in: 30 Publications (2007–2022) Related Software: HyTech; PHAVer; SpaceEx; Sostools; Matlab; d/dt; … Main Fields: –
CoCasl Software Authors: Mossakowski, Till; Roggenbach, Markus; Schröder, Lutz Cited in: 26 Publications (2003–2014) Related Software: CASL; Maude; Hets; CCSL; CafeOBJ; CIRC; … Main Fields: –
SIGREF Software Authors: Wimmer, Ralf; Herbstritt, Marc; Hermanns, Holger; Strampp, Kelley; Becker, Bernd Cited in: 14 Publications (2006–2016) Related Software: PRISM; MRMC; CADP; CEGAR; PEPA; NuSMV; … Main Fields: (68Q85-XX)
HOPLA Software Authors: Nygaard, Mikkel; Winskel, Glynn Cited in: 14 Publications (2002–2014) Related Software: New-HOPLA Main Fields: (68Q85-XX)
UnQL Software Authors: Peter Buneman, Mary Fernandez, Dan Suciu Cited in: 10 Publications (2006–2018) Related Software: XPath; XQuery; XDuce; CDuce; Quilt; GRoundTram; … Main Fields: –
PTSC Software Authors: – Cited in: 5 Publications (2012–2021) Related Software: Isabelle; PAT; Coq; Maude; Uppaal; Maria; … Main Fields: –
FaPAS Software Authors: B. Yordanov, C. Belta Cited in: 4 Publications (2013–2018) Related Software: NuSMV; Algorithm 97; VeriSIMPL; Maxplus; SPIN Main Fields: –
BFComp Software Authors: Murthy, Abhishek; Islam, Md.Ariful; Smolka, Scott A.; Grosu, Radu Cited in: 3 Publications (2015–2019) Related Software: dReal; dReach; SReach; Matlab; Sostools; cftool; … Main Fields: (93D25-XX); (93B40-XX); (93C20-XX)
GcPan Software Authors: Hirschkoff, Daniel; Pous, Damien; Sangiorgi, Davide Cited in: 3 Publications (2007–2011) Related Software: SLMC; KLAIM; OCaml; JoCaml Main Fields: (68Q85-XX); (68Q55-XX)
New-HOPLA Software Authors: Winskel, Glynn; Zappa Nardelli, Francesco Cited in: 3 Publications (2004–2014) Related Software: HOPLA Main Fields: (68Q85-XX); (68M14-XX); (68Q55-XX)
CoCLAM Software Authors: Dennis, L. A.; Bundy, A.; Green, I. Cited in: 2 Publications (2000–2012) Related Software: Oyster; OMEGA; CLAM; Concurrency Workbench; HOL Main Fields: (68T15-XX)
PlayGame Software Authors: Li Tan Cited in: 2 Publications (2004–2007) Related Software: Truth/SLC Main Fields: (68Q60-XX); (91A80-XX)
WiCcA Software Authors: Lantair, Jennifer; Sobociński, Paweł Cited in: 2 Publications (2011–2017) Related Software: – Main Fields: (68Qxx-XX)
BisPy Software Authors: Francesco Andreuzzi Cited in: 0 Publications Related Software: PyGraphviz; NetworkX; Python Main Fields: –
Encodability_Process_Calculi Software Authors: Kirstin Peters; Rob van Glabbeek Cited in: 1 Publication (2020) Related Software: Apache Flink; Archive Formal Proofs; Pict; CADP Main Fields: –