An Open Alternative for SMT-based Verification of SCADE Models (bibtex)

by Henning Basold, Michaela Huhn, Henning Günther and Stefan Milius

Reference:

Henning Basold, Michaela Huhn, Henning Günther and Stefan Milius: An Open Alternative for SMT-based Verification of SCADE Models, In F. Lang, F. Flammini, eds.: Proc. 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14), Lecture Notes Comput. Sci., vol. 8718, pp. 124–139, Springer, 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-10702-8_9.

Bibtex Entry:

@string{springer="Springer"}
@InProceedings{bghm14,
  author = 	 {Henning Basold and Michaela Huhn and Henning G\"unther and Stefan Milius},
  title = 	 {An Open Alternative for {SMT}-based Verification of {SCADE} Models},
  OPTcrossref =  {},
  OPTkey = 	 {},
  booktitle = {Proc.~19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'14)},
  pages = 	 {124--139},
  year = 	 {2014},
  editor = 	 {F.~Lang and F.~Flammini},
  volume = 	 {8718},
  OPTnumber = 	 {},
  series = 	 {Lecture Notes Comput.~Sci.},
  doi       =    {10.1007/978-3-319-10702-8_9},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTorganization = {},
  publisher = {Springer},
  comment =     {The final publication is available at Springer via <a href="http://dx.doi.org/10.1007/978-3-319-10702-8_9">http://dx.doi.org/10.1007/978-3-319-10702-8_9</a>.},
  OPTnote = 	 {},
  OPTannote = 	 {}
}