862 search results - page 82 / 173 » Model Checking Interrupt-Dependent Software |
117
click to vote
IEE
2008
15 years 1 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
107
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Goal-oriented methods have increasingly been recognised as an effective means for eliciting, elaborating, analysing and specifying software requirements. A key activity in these a...
118
click to vote
CODES
2006
IEEE
15 years 3 months ago
2006
IEEE
The lack of memory safety in many popular programming languages, including C and C++, has been a cause for great concern in the realm of software reliability, verification, and mo...
108
click to vote
QEST
2009
IEEE
15 years 8 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
127
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...