Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

Víctor Braberman, Diego Garbervetsky, Nicolas Kicillof, Daniel Monteverde, Alfredo Olivero
The 7th International Conference on Formal Modelling and Analysis of Timed Systems, page in press - sep 2009
Download the publication : Specialization+Localization.pdf [483Ko]  

BibTex references

@InProceedings\{BGKMO09,
  author       = "Braberman, V\'{\i}ctor and Garbervetsky, Diego and Kicillof, Nicolas and Monteverde, Daniel and Olivero, Alfredo",
  title        = "Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis",
  booktitle    = "The 7th International Conference on Formal Modelling and Analysis of Timed Systems",
  pages        = "in press",
  month        = "sep",
  year         = "2009",
  url          = "http://publicaciones.dc.uba.ar/Publications/2009/BGKMO09"
}

Other publications in the database

» Víctor Braberman
» Diego Garbervetsky
» Nicolas Kicillof
» Daniel Monteverde
» Alfredo Olivero