Interrupt Verification via Thread Verification
Open Access
- 22 June 2007
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 174 (9), 139-150
- https://doi.org/10.1016/j.entcs.2007.04.002
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Pluggable abstract domains for analyzing embedded softwarePublished by Association for Computing Machinery (ACM) ,2006
- Thorough static analysis of device driversPublished by Association for Computing Machinery (ACM) ,2006
- Software Verification with BLASTLecture Notes in Computer Science, 2003
- The nesC languagePublished by Association for Computing Machinery (ACM) ,2003
- RacerXPublished by Association for Computing Machinery (ACM) ,2003
- Cadena: an integrated development, analysis, and verification environment for component-based systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- System architecture directions for networked sensorsPublished by Association for Computing Machinery (ACM) ,2000
- The design and implementation of an operating system to support distributed multimedia applicationsIEEE Journal on Selected Areas in Communications, 1996
- Interrupts as threadsACM SIGOPS Operating Systems Review, 1995
- Structured interruptsACM SIGOPS Operating Systems Review, 1993