×

HSolver

swMATH ID: 7419
Software Authors: Stefan Ratschan; Zhikun She; Tomáš Dzetkulič
Description: HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages its correctness does not depend on floating point rounding errors. It can handle non-linear ordinary differential equations, but is not optimized for simpler continuous dynamics.
Homepage: http://hsolver.sourceforge.net/
Related Software: RSOLVER; Benchmarks; HyTech; PHAVer; SpaceEx; KeYmaera; Sostools; d/dt; QEPCAD; Uppaal; PPL; MetiTarski; Kronos; Flow*; Breach; Ariadne; HySAT; PENLAB; TRICE; PENBMI
Cited in: 46 Documents
all top 5

Cited by 97 Authors

5 She, Zhikun
4 Ratschan, Stefan
4 Zhan, Naijun
3 Bresolin, Davide
3 Collins, Peter J.
3 Geretti, Luca
3 Katoen, Joost-Pieter
3 Villa, Tiziano
3 Xia, Bican
3 Xue, Bai
3 Zheng, Zhiming
2 Akbarpour, Behzad
2 Bauer, Kerstin
2 Chen, Mingshuai
2 Duggirala, Parasara Sridhar
2 Dzetkulič, Tomáš
2 Fränzle, Martin
2 Frehse, Goran
2 Gentilini, Raffaella
2 Hahn, Ernst Moritz
2 Hermanns, Holger
2 Nedialkov, Nedialko S.
2 Paulson, Lawrence Charles
2 Platzer, André
2 Ramdani, Nacim
2 Schneider, Klaus
2 Wang, Qiuye
2 Zhao, Hengjun
1 Ábrahám, Erika
1 Basagiannis, Stylianos
1 Benvenuti, Luca
1 Bernardeschi, Cinzia
1 Campagna, Dario
1 Carter, Rebekah
1 Chen, Taolue
1 Dai, Liyun
1 Damm, Werner
1 Dang, Thao
1 Domenici, Andrea
1 Doyen, Laurent
1 Ebert, Tristan
1 Eggers, Andreas
1 Ferrari, Alberto
1 Fiorini, Paolo
1 Gallicchio, James
1 Gan, Ting
1 Geuvers, Jan Herman
1 Giantamidis, Georgios
1 Goldsztejn, Alexandre
1 Goyal, Manish
1 Hartmanns, Arnd
1 Hiraishi, Kunihiko
1 Ivančić, Franjo
1 Kavraki, Lydia E.
1 Kobayashi, Koich
1 Koprowski, Adam
1 Kouramas, Kostas
1 Lanotte, Ruggero
1 Li, Haoyang
1 Lin, Wang
1 Liu, Zhiming
1 Man, Ka Lok
1 Mitra, Sayan
1 Mitsch, Stefan
1 Muradore, Riccardo
1 Navarro-López, Eva María
1 Pappas, George J.
1 Piazza, Carla
1 Plaku, Erion
1 Podelski, Andreas
1 Prabhakar, Pavithra
1 Quesel, Jan-David
1 Reniers, Michel Adriaan
1 Rooda, Jacobus E.
1 Sankaranarayanan, Sriram
1 Schiffelers, R. R. H.
1 Schupp, Stefan
1 Smaus, Jan-Georg
1 Subramani, Krishnan
1 Synek, Dan
1 Tan, Yong Kiam
1 Tini, Simone
1 Tsachouridis, Vassilios A.
1 van Beek, D. A.
1 van der Weegen, Eelis
1 Vardi, Moshe Ya’akov
1 Viswanathan, Mahesh
1 Wagner, Silke
1 Wang, Shuling
1 Woodcock, James C. P.
1 Wu, Jinzhao
1 Wu, Min
1 Xiao, Rong
1 Yang, Zhengfeng
1 Zeng, Xia
1 Zhang, Hui
1 Zhang, Lijun

Citations by Year