My Model Checker Died! How Well Did It Do?

QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010) - 2010
Download the publication : bpu_quovadis-2010.pdf [293Ko]  

BibTex references

@InProceedings\{PUB10,
  author       = "Pavese, Esteban and Uchitel, Sebastian and Braberman, V\'{\i}ctor",
  title        = "My Model Checker Died! How Well Did It Do?",
  booktitle    = "QUOVADIS 2010 - First International workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (co-located with ICSE 2010)",
  year         = "2010",
  url          = "http://publicaciones.dc.uba.ar/Publications/2010/PUB10"
}

Other publications in the database

» Esteban Pavese
» Sebastian Uchitel
» Víctor Braberman