Model Checking Industrial Robot Systems
Authors:
- 1 January 2011
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 161-176
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Region Analysis for Race DetectionLecture Notes in Computer Science, 2009
- Towards Faithful Model Extraction Based on Contexts2008
- The software model checker BlastInternational Journal on Software Tools for Technology Transfer, 2007
- Model Extraction for ARINC 653 Based Avionics SoftwareLecture Notes in Computer Science, 2007
- Verification of PLC Programs Given as Sequential Function Charts2004
- An automated verification method for distributed systems software based on model extractionIEEE Transactions on Software Engineering, 2002
- Verification of Embedded Software: Problems and Perspectives2001
- Bandera2000
- Java PathFinder A Translator from Java to PromelaLecture Notes in Computer Science, 1999
- The model checker SPINIEEE Transactions on Software Engineering, 1997