×

TREX

swMATH ID: 1388
Software Authors: Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela
Description: TREX is a tool for automatic analysis of automata-based models equipped with variables belonging to different infinite/finite domains and with parameters. These models are, at the present time, parametric (continuous-time) timed automata, extended with integer counters and finite-domain variables, and communicating through unbounded lossy FIFO channels and shared variables. This model is a subset of the model taken in high-level languages like SDL.
Homepage: http://www.liafa.jussieu.fr/~sighirea/trex/
Programming Languages: C++
Operating Systems: "sun5": Sparc stations running SunOS 2.5, 2.6, 7 or higher"iX86": PC computers running Linux 2.0 (libc6 binaries)
Keywords: TReX: A Tool for Reachability Analysis of CompleX Systems
Related Software: FAST; HyTech; LASH; Uppaal; SPIN; PRISM; IMITATOR; Kronos; Uppaal2k; InVeSt; FLATA; ALGOL 60; CADP; Apron; Timbuk; JavaFAN; Shrinktech; PSyHCoS; PAT; PPL
Cited in: 39 Publications
Further Publications: http://www.liafa.jussieu.fr/~sighirea/trex/index.html#Refs

Standard Articles

1 Publication describing the Software, including 1 Publication in zbMATH Year
TREX: A tool for reachability analysis of complex systems. Zbl 0991.68645
Annichini, Aurore; Bouajjani, Ahmed; Sighireanu, Mihaela
2001
all top 5

Cited by 60 Authors

11 Finkel, Alain
7 Leroux, Jérôme
6 Bouajjani, Ahmed
5 Bozga, Marius
5 Iosif, Radu
3 Sangnier, Arnaud
3 Stoelinga, Mariëlle
3 Sutre, Grégoire
3 Vojnar, Tomáš
2 André, Étienne
2 Bardin, Sébastien
2 Chambart, Pierre
2 Habermehl, Peter
2 Hune, Thomas
2 Moro, Pierre
2 Romijn, Judi
2 Schmitz, Sylvain
2 Vaandrager, Frits W.
1 Abdulla, Parosh Aziz
1 Annichini, Aurore
1 Bingham, Jesse D.
1 Boichut, Yohan
1 Bouchy, Florent
1 Cécé, Gérard
1 Collomb-Annichini, Aurore
1 Dingel, Juergen
1 Dong, JinSong
1 Fribourg, Laurent
1 Harris, William R.
1 Héam, Pierre-Cyrille
1 Hu, Alan J.
1 Jerson Ortiz, James
1 Jonsson, Bengt
1 Kalyanasundaram, Bala
1 Konečný, Filip
1 Kouchnarenko, Olga
1 Lakhnech, Yassine
1 Lal, Akash
1 Legay, Axel
1 Liu, Yang
1 Lozes, Etienne
1 Matoušek, Petr
1 Nori, Aditya Vithal
1 Perarnau, Swann
1 Praveen, M.
1 Rajamani, Sriram K.
1 Rapin, Nicolas
1 Rudie, Karen
1 Rybina, Tatiana
1 Schnoebelen, Philippe
1 Schobbens, Pierre-Yves
1 Sighireanu, Mihaela
1 Smrčka, Aleš
1 Sun, Jun
1 Touili, Tayssir
1 Vardhan, Abhay
1 Velauthapillai, Mahe
1 Viswanathan, Mahesh
1 Voronkov, Andrei
1 Waez, Md Tawhid Bin
all top 5

Cited in 10 Serials

3 Formal Methods in System Design
1 Theoretical Computer Science
1 Information and Computation
1 Journal of Automated Reasoning
1 Formal Aspects of Computing
1 Real-Time Systems
1 Fundamenta Informaticae
1 The Journal of Logic and Algebraic Programming
1 Logical Methods in Computer Science
1 Computer Science Review

Cited in 3 Fields

39 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
1 Operations research, mathematical programming (90-XX)

Citations by Year