Abstract
Model checking is a formal method that can be used to verify hardware or
software system designs. In order to ease the application of model checking
already at the early phases of the system design process, we have been
developing a set of tools to automate some of the tasks in the model checking
process and guide the modeler in those tasks that still need human
interpretation. Our solutions are largely based on the Simantics platform – an
open-source development project aimed at the efficient integration of
different modeling and simulation tools.
Original language | English |
---|---|
Title of host publication | Proceedings of 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC & HMIT 2010 |
Publisher | American Nuclear Society (ANS) |
Pages | 1729-1740 |
Volume | 3 |
ISBN (Electronic) | 978-0-8944-8084-3 |
ISBN (Print) | 978-1-6178-2266-7 |
Publication status | Published - 2010 |
MoE publication type | A4 Article in a conference publication |
Event | 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010 - Las Vegas, Nevada, United States Duration: 7 Nov 2010 → 11 Nov 2010 |
Conference
Conference | 7th International Topical Meeting on Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, NPIC-HMIT 2010 |
---|---|
Abbreviated title | NPIC-HMIT 2010 |
Country | United States |
City | Las Vegas, Nevada |
Period | 7/11/10 → 11/11/10 |
Keywords
- Model checking
- verification & validation
- digital I&C