Kronos Software Authors: Conrado Daws, Alfredo Olivero, Stavros Tripakis, Sergio Yovine Cited in: 243 Publications (1997–2021) Related Software: Uppaal; HyTech; SPIN; IF-2.0; Uppaal2k; CMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
IF-2.0 Software Authors: Bozga, Marius; Graf, Susanne; Mounier, Laurent Cited in: 38 Publications (2002–2022) Related Software: Uppaal; Kronos; SPIN; HyTech; CADP; TINA; … Main Fields: General and overarching topics; collections (00-XX); Dynamical systems and ergodic theory (37-XX); Computer science (68-XX)
TREX Software Authors: Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela Cited in: 39 Publications (2001–2021) Related Software: FAST; HyTech; LASH; Uppaal; IMITATOR; Kronos; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
UPPAAL TIGA Software Authors: Behrmann, G., Cougnard, A., David, A., Fleury, E., Larsen, K.G., Lime, D. Cited in: 44 Publications (2007–2021) Related Software: Uppaal; PRISM; Synthia; HyTech; PRISM-games; Kronos; … Main Fields: General and overarching topics; collections (00-XX); Calculus of variations and optimal control; optimization (49-XX); Computer science (68-XX)
VerICS Software Authors: Zbrzezny, Andrzej; Wo\' zna, Bo\D zena Cited in: 33 Publications (2005–2021) Related Software: MCMAS; MCK; MOCHA; MCMAS-SLK; NuSMV; CUDD; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
IMITATOR Software Authors: André, Étienne Cited in: 31 Publications (1996–2022) Related Software: Uppaal; HyTech; PPL; PAT; TREX; VINAS-P; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Mechanics of particles and systems (70-XX)
Romeo Software Authors: Gardey, Guillaume; Lime, Didier; Magnin, Morgan; Roux, Olivier (H.) Cited in: 26 Publications (2005–2020) Related Software: TINA; Uppaal; Kronos; TAPAAL; CMC; IF-2.0; … Main Fields: Combinatorics (05-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Rabbit Software Authors: Beyer, Dirk; Lewerentz, Claus; Noack, Andreas Cited in: 22 Publications (2001–2018) Related Software: Uppaal; Kronos; PRISM; Uppaal2k; UPPAAL TIGA; HyTech; … Main Fields: Mathematical logic and foundations (03-XX); Probability theory and stochastic processes (60-XX); Numerical analysis (65-XX)
TAXYS Software Authors: Closse, Etienne; Poize, Michel; Pulou, Jacques; Sifakis, Joseph; Venter, Patrick Cited in: 15 Publications (2001–2017) Related Software: Uppaal; Kronos; Eiffel; Uppaal2k; Esterel; Modelica; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Systems theory; control (93-XX)
TAPAAL Software Authors: Byg, Joakim; Jørgensen, Kenneth Yrke; Srba, Jiří Cited in: 19 Publications (2011–2022) Related Software: Uppaal; Romeo; TINA; PTrie; Kronos; PetriNets; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
TorX Software Authors: Bohnenkamp, Henrik; Belinfante, Axel Cited in: 16 Publications (2005–2021) Related Software: JTorX; SpecExplorer; STG; CADP; Uppaal; Java PathFinder; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
UPPAAL CORA Software Authors: Behrmann, Gerd; Larsen, Kim Guldstrand Cited in: 8 Publications (2005–2018) Related Software: Uppaal; Kronos; Verics; GEZEL; Rabbit; TAPAAL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)
Synthia Software Authors: Peter, H.-J., Ehlers, R., Mattmüller, R. Cited in: 7 Publications (2012–2020) Related Software: UPPAAL TIGA; Uppaal; PRISM; REDLIB; CMC; Kronos; … Main Fields: Dynamical systems and ergodic theory (37-XX); Computer science (68-XX); Systems theory; control (93-XX)
LARVA Software Authors: Colombo C, Pace GJ, Schneider G Cited in: 6 Publications (2012–2022) Related Software: Scribble; Uppaal; VeriFast; JML; CC-Pi; Timed Conversation; … Main Fields: Computer science (68-XX)
COSMOS Software Authors: Ballarini, P., Djafri, H., Duflot, M., Haddad, S., Pekergin, N. Cited in: 6 Publications (2013–2021) Related Software: PRISM; Ymer; VESTA; HASL; Uppaal; StochKit; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
GEZEL Software Authors: Hansen, Michael R.; Madsen, Jan; Brekling, Aske Wiid Cited in: 6 Publications (2002–2018) Related Software: Uppaal; Kronos; UPPAAL TIGA; UPPAAL CORA; Verics; Rabbit; … Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
opaal Software Authors: Dalsgaard, A.E., Hansen, R.R., Jørgensen, K.Y., Larsen, K.G., Olesen, M.C., Olsen, P., Srba, J. Cited in: 5 Publications (2012–2017) Related Software: Algorithm 97; Uppaal; VeriSIMPL; Ellipsoidal Toolbox; MPT; Kronos; … Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Computer science (68-XX); Systems theory; control (93-XX)
Verics Software Authors: Dembiński, Piotr; Janowska, Agata; Janowski, Paweł; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Wozna, Bozena; Zbrzezny, Andrzej Cited in: 6 Publications (2003–2018) Related Software: MCMAS; MCK; NuSMV; SPIN; UPPAAL CORA; Uppaal; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Casaal Software Authors: Bulychev, Peter; David, Alexandre; Guldstrand Larsen, Kim; Legay, Axel; Li, Guangyuan; Bøgsted Poulsen, Danny; Stainer, Amelie Cited in: 4 Publications (2012–2014) Related Software: Uppaal; UPPAAL TIGA; APMC; GEZEL; Kronos; PRISM; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)
Shrinktech Software Authors: Sankur, Ocan Cited in: 4 Publications (2013–2022) Related Software: IMITATOR; Uppaal; OR-tools; PSyHCoS; PAT; PPL; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
TAME Software Authors: Archer, Myla Cited in: 5 Publications (2000–2011) Related Software: PVS; Uppaal; LARCH; JML; NASA PVS; UNITY; … Main Fields: Computer science (68-XX)
Tempo Software Authors: – Cited in: 5 Publications (2002–2014) Related Software: Kronos; HyTech; REDLIB; Synthia; UPPAAL TIGA; CMC; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
ERA-PAT Software Authors: Lin, Shang-Wei; Liu, Yang; Sun, Jun; Dong, Jin Song; André, Étienne Cited in: 2 Publications (2014–2021) Related Software: PAT; ProB; PDDL; NuSMV; SPIN; Uppaal Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Information and communication theory, circuits (94-XX)
McAiT Software Authors: Lv, Mingsong; Guan, Nan; Deng, Qingxu; Yu, Ge; Yi, Wang Cited in: 1 Publication (2013) Related Software: OTAWA; CPAchecker; REDLIB; Synthia; UPPAAL TIGA; CMC; … Main Fields: Computer science (68-XX)
mctau Software Authors: Jonathan Bogdoll, Alexandre David, Arnd Hartmanns, Holger Hermanns Cited in: 1 Publication (2013) Related Software: Uppaal; PHAVer; SpaceEx; HSolver; Benchmarks; RSOLVER; … Main Fields: Computer science (68-XX)
MONAA Software Authors: Masaki Waga Cited in: 2 Publications (2016–2017) Related Software: timed-pattern-matching; Simulink; Montre; Pure Main Fields: Computer science (68-XX)
TarTar Software Authors: Kölbl, Martin; Leue, Stefan; Wies, Thomas Cited in: 2 Publications (2021–2022) Related Software: Uppaal; SemFix; S-TaLiRo; Matlab; IMITATOR; CADP; … Main Fields: Computer science (68-XX)
Calife Software Authors: Tavernier B Cited in: 1 Publication (2007) Related Software: Schneider clock synchronization; clock synchronization; Archive Formal Proofs; PROSPER; CVC Lite; HOL Light; … Main Fields: Computer science (68-XX)
CATS Software Authors: Uppsala University Cited in: 1 Publication (2016) Related Software: ac2lus; COINC; LUSTRE Main Fields: Computer science (68-XX)
CoVer Software Authors: A. Hessel, P. Pettersson Cited in: 1 Publication (2013) Related Software: REDLIB; Synthia; UPPAAL TIGA; CMC; Tempo; McAiT; … Main Fields: Computer science (68-XX)
HighSpec Software Authors: J. S. Dong , P. Hao , X. Zhang , S. C. Qin Cited in: 1 Publication (2012) Related Software: Spec#; VeriCool; LUSTRE; Boogie; VeriFast; VCC; … Main Fields: Computer science (68-XX)
Mcta Software Authors: Wehrle, Martin; Kupferschmid, Sebastian Cited in: 1 Publication (2012) Related Software: Uppaal; Moby/DC Main Fields: Computer science (68-XX)
Time4sys2imi Software Authors: André, Étienne; Jerray, Jawher; Mhiri, Sahar Cited in: 1 Publication (2019) Related Software: Cheddar; Uppaal; IMITATOR Main Fields: Computer science (68-XX)
Timed Automata Software Authors: Simon Wimmer Cited in: 1 Publication (2016) Related Software: Archive Formal Proofs; HOL; Uppaal; HyTech; PVS; Isabelle/HOL; … Main Fields: Computer science (68-XX)
Vooduu Software Authors: Diethers, Karsten; Huhn, Michaela Cited in: 1 Publication (2004) Related Software: Uppaal Main Fields: Computer science (68-XX)
ZenoTool Software Authors: Rinast, J. Cited in: 1 Publication (2012) Related Software: Uppaal; Kronos Main Fields: Computer science (68-XX)
DTRON Software Authors: Anier, Aivo; Vain, Jüri; Tsiopoulos, Leonidas Cited in: 0 Publications Related Software: – Main Fields: –
DYANA Software Authors: V. A. Antonenko, E. V. Chemeritskiy, A. B. Glonina, et al. Cited in: 0 Publications Related Software: – Main Fields: –