VOLUME 7 2002 NUMBER 2
Black Box Checking
Doron Peled, Moshe Y. Vardi, Mihalis Yannakakis
Pages 225–246



Download Abstract
 Fulltext is accessible with your personal account
 ShowHide BibTeX
BibTeX: 
@article{JALC-2002-225,
  author  = {Doron Peled and Moshe Y. Vardi and Mihalis Yannakakis},
  title   = {Black Box Checking},
  journal = {Journal of Automata, Languages and Combinatorics},
  volume  = {7},
  number  = {2},
  pages   = {225--246},
  year    = {2002},
  url     = {https://doi.org/10.25596/jalc-2002-225},
  doi     = {10.25596/jalc-2002-225}
}
If you would like to see an embedded preview, try to select preview as the action for Portable Document Format (PDF) in your brower settings.
Keywords: formal methods, model checking, specification, testing, verification
DOI: 10.25596/jalc-2002-225