Some issues in using formal methods for the development of reactive systems.

Argón, Pablo, and Roux, Olivier. "Some issues in using formal methods for the development of reactive systems.." Electronic Journal of SADIO [electronic only] 1.1 (1998): 52-75. <http://eudml.org/doc/227566>.

@article{Argón1998,
author = {Argón, Pablo, Roux, Olivier},
journal = {Electronic Journal of SADIO [electronic only]},
keywords = {compiler design; Coq theorem prover; Electre reactive language; program proof; program extraction; model checking; Spin model checker; safety-critical reactive systems; Coq theorem},
language = {eng},
number = {1},
pages = {52-75},
publisher = {Argentine Society for Informatics and Operations Research},
title = {Some issues in using formal methods for the development of reactive systems.},
url = {http://eudml.org/doc/227566},
volume = {1},
year = {1998},
}

TY - JOUR
AU - Argón, Pablo
AU - Roux, Olivier
TI - Some issues in using formal methods for the development of reactive systems.
JO - Electronic Journal of SADIO [electronic only]
PY - 1998
PB - Argentine Society for Informatics and Operations Research
VL - 1
IS - 1
SP - 52
EP - 75
LA - eng
KW - compiler design; Coq theorem prover; Electre reactive language; program proof; program extraction; model checking; Spin model checker; safety-critical reactive systems; Coq theorem
UR - http://eudml.org/doc/227566
ER -