ML Anthology

Formal Verification of Diagnosability via Symbolic Model Checking

Alessandro Cimatti, Charles Pecheur, Roberto Cavada
IJCAI 2003 pp. 363-369
/ijcai/2003/cimatti2003ijcai-formal/
PDF IJCAI Semantic Scholar

Cite

Text

Cimatti et al. "Formal Verification of Diagnosability via Symbolic Model Checking." International Joint Conference on Artificial Intelligence, 2003.

Markdown

[Cimatti et al. "Formal Verification of Diagnosability via Symbolic Model Checking." International Joint Conference on Artificial Intelligence, 2003.](https://mlanthology.org/ijcai/2003/cimatti2003ijcai-formal/)

BibTeX

@inproceedings{cimatti2003ijcai-formal,
  title     = {{Formal Verification of Diagnosability via Symbolic Model Checking}},
  author    = {Cimatti, Alessandro and Pecheur, Charles and Cavada, Roberto},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2003},
  pages     = {363-369},
  url       = {https://mlanthology.org/ijcai/2003/cimatti2003ijcai-formal/}
}