×

Found 38 Software Packages (Results 1–38)

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; CMC; …
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: 30 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; Storm; …
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: Uppaal; OR-tools; PSyHCoS; PAT; PPL; HyTech; …
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; NASA PVS; UNITY; Giotto; …
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: VeriCool; LUSTRE; Boogie; VeriFast; VCC; z3; …
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: