HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models

Bak, Stanley; Bogomolov, Sergiy; Johnson, Taylor T.

by Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson

Reference:

Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, "HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models", In 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2015), Co-Located with the 27th International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, 2015, jul.

Bibtex Entry:

@inproceedings{bak2015snr,
  author    = {Stanley Bak and Sergiy Bogomolov and Taylor T. Johnson},
  title     = {HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models},
  year      = {2015},
  month     = jul,
  Booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis
 (<a href="http://snrworkshop.github.io/">SNR 2015</a>), Co-Located with the 27th International Conference on Computer Aided Verification (<a href="http://i-cav.org/2015/">CAV 2015</a>)},
  address   = {San Francisco, California},
  pdf       = {http://www.taylortjohnson.com/research/bak2015snr.pdf},
}