Model Checking Multi-interruption Concurrent Programs with TMSVL
- 4 June 2021
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- SMT-Based Bounded Model Checking of Embedded Assembly Program with InterruptionsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2019
- Easy Modelling and Verification of Unpredictable and Preemptive Interrupt-Driven SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2019
- Verifying Full Regular Temporal Properties of Programs via Dynamic Program ExecutionIEEE Transactions on Reliability, 2018
- Verifying temporal properties of programs: A parallel approachJournal of Parallel and Distributed Computing, 2018
- A Practical Verification Framework for Preemptive OS KernelsPublished by Springer Science and Business Media LLC ,2016
- Numerical static analysis of interrupt-driven programs via sequentializationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2015
- Semantic theories of programs with nested interruptsFrontiers of Computer Science, 2015
- iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2014
- A Unified Model Checking Approach with Projection Temporal LogicLecture Notes in Computer Science, 2008
- A specifier's introduction to formal methodsComputer, 1990