HYTECH: a model checker for hybrid systems

Ho, Pei-Hsin; Henzinger, Thomas A; Wong-Toi, Howard

doi:10.1007/s100090050008

Record: found
Abstract: not found
Article: not found

HYTECH: a model checker for hybrid systems

Author(s): Thomas A. Henzinger , Pei-Hsin Ho , Howard Wong-Toi

Publication date (Print): February 2014

Journal: International Journal on Software Tools for Technology Transfer

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: International Journal on Software Tools for Technology Transfer

Abbreviated Title: STTT

Publisher: Springer Nature

ISSN (Print): 1433-2779

Publication date Created: December 1997

Publication date (Print): February 2014

Volume: 1

Issue: 1-2

Pages: 110-122

Article

DOI: 10.1007/s100090050008

SO-VID: abe68ee1-9861-4189-b48a-395080692841

History

Data availability:

HYTECH: a model checker for hybrid systems

Read this article at

Related collections

Model Reduction of Parametrized Systems 2015

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 5,324

Cited by 65