×

HyTech

swMATH ID: 4125
Software Authors: Tom Henzinger, Pei-Hsin Ho, and Howard Wong-Toi.
Description: HyTech is an automatic tool for the analysis of embedded systems. HyTech computes the condition under which a linear hybrid system satisfies a temporal requirement. Hybrid systems are specified as collections of automata with discrete and continuous components, and temporal requirements are verified by symbolic model checking. If the verification fails, then HyTech generates a diagnostic error trace. The standard reference to the HyTech algorithm is [1], and the standard reference to the HyTech tool, [2].
Homepage: http://embedded.eecs.berkeley.edu/research/hytech/
Operating Systems: Sun OS 5.8, Solaris 2.3.x, Digital Unix, DEC Ultrix, HP-UX, and Windows 2000 (Cygwin), Linux
Keywords: The HYbrid TECHnology Tool
Related Software: Uppaal; PHAVer; Kronos; SPIN; SpaceEx; d/dt; PPL; RSOLVER; HSolver; KeYmaera; PRISM; NuSMV; HySAT; Benchmarks; QEPCAD; Uppaal2k; Flow*; PVS; Maude; TREX
Cited in: 312 Publications
all top 5

Cited by 519 Authors

13 Larsen, Kim Guldstrand
11 Bouyer, Patricia
11 Dang, Thao
10 Podelski, Andreas
9 Delzanno, Giorgio
8 Asarin, Eugene
8 Cassez, Franck
8 Platzer, André
8 Raskin, Jean-François
7 Li, Xuandong
7 Maler, Oded
7 Zaffanella, Enea
6 Henzinger, Thomas A.
6 Meseguer Guaita, José
6 Olveczky, Peter Csaba
6 Zhao, Jianhua
5 André, Étienne
5 Bemporad, Alberto
5 Damm, Werner
5 Fleury, Emmanuel
5 Fribourg, Laurent
5 Krogh, Bruce H.
5 Piazza, Carla
5 Sankaranarayanan, Sriram
5 Yi, Wang
5 Zheng, Guoliang
4 Bagnara, Roberto
4 Bresolin, Davide
4 Bultan, Tevfik
4 Clarke, Edmund Melson jun.
4 Collins, Peter J.
4 Disch, Stefan
4 Frehse, Goran
4 Geretti, Luca
4 Girard, Antoine
4 Hill, Patricia M.
4 Laroussinie, François
4 Lime, Didier
4 Pigorsch, Florian
4 Rooda, Jacobus E.
4 Roux, Olivier H.
4 Schneider, Gerardo
4 Scholl, Christoph
4 Vaandrager, Frits W.
4 van Beek, D. A.
4 Villa, Tiziano
4 Voronkov, Andrei
4 Zheng, Tao
3 Aceto, Luca
3 Althoff, Matthias
3 Alur, Rajeev
3 Bartocci, Ezio
3 Bartzis, Constantinos
3 Bogomolov, Sergiy
3 Bortolussi, Luca
3 Boucheneb, Hanifa
3 Chatain, Thomas
3 Dang, Zhe
3 Di Cairano, Stefano
3 Dufourd, Catherine
3 Duggirala, Parasara Sridhar
3 Halbwachs, Nicolas
3 Ivančić, Franjo
3 Julius, A. Agung
3 Júlvez, Jorge
3 Klay, Francis
3 Le Guernic, Colas
3 Majumdar, Rupak
3 Manna, Zohar
3 Mitra, Sayan
3 Pappas, George J.
3 Petit, Antoine C.
3 Pettersson, Paul
3 Policriti, Alberto
3 Quaas, Karin
3 Reniers, Michel Adriaan
3 Revesz, Peter Z.
3 Rybina, Tatiana
3 Schiffelers, R. R. H.
3 Sipma, Henny B.
3 Stoelinga, Mariëlle
3 Waldmann, Uwe
3 Wirtz, Boris
3 Wong-Toi, Howard
2 Abate, Alessandro
2 Alla, Hassane
2 Antoniotti, Marco
2 Azgomi, Mohammad Abdollahi
2 Bak, Stanley
2 Batt, Grégory
2 Behrmann, Gerd
2 Benvenuti, Luca
2 Bérard, Béatrice
2 Bergstra, Jan A.
2 Bhatia, Amit
2 Braun, Volker
2 Bu, Lei
2 Burgueño, Augusto
2 Campagna, Dario
2 Carloni, Luca P.
...and 419 more Authors

Citations by Year