Abstract
We introduce a generic component-based design of a run-time checker, identify its components and their requirements, and evaluate existing state of the art tools instantiating each component.
Original language | English |
---|---|
Title of host publication | Formal Aspects of Component Software |
Subtitle of host publication | 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers |
Editors | Corina S. Păsăreanu , Gwen Salaün |
Publisher | Springer |
Pages | 128-133 |
Number of pages | 6 |
ISBN (Electronic) | 978-3-642-35861-6 |
ISBN (Print) | 978-3-642-35860-9 |
DOIs | |
Publication status | Published - 2012 |
Externally published | Yes |
Event | Formal Aspects of Computer Science FACS 2012 - Mountain View, United States Duration: 12 Sept 2012 → 14 Sept 2012 http://facs2017.di.uminho.pt/previous |
Publication series
Series | Lecture Notes in Computer Science |
---|---|
Volume | 7684 |
ISSN | 0302-9743 |
Conference
Conference | Formal Aspects of Computer Science FACS 2012 |
---|---|
Abbreviated title | FACS 2012 |
Country/Territory | United States |
City | Mountain View |
Period | 12/09/12 → 14/09/12 |
Internet address |