1036 search results - page 55 / 208 » Verification Programs for Abduction |
108
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a formal approach to threat-driven modeling and verification of secure software using aspect-oriented Petri nets. Based on the behavior model of intended funct...
87
Voted
DAC
2005
ACM
15 years 2 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...
95
Voted
HICSS
2009
IEEE
15 years 7 months ago
2009
IEEE
The craft of software understanding and verification can benefit from technologies that enable evolution toward a true engineering discipline. In current practice, software develo...
101
Voted
ECOOP
2008
Springer
15 years 2 months ago
2008
Springer
Verification of object-oriented programs relies on object invariants which express consistency criteria of objects. The semantics of object invariants is subtle, mainly because of...
99
Voted
JAR
2008
15 years 22 days ago
2008
This article describes the formal verification of a compilation algorithm that transforms parallel moves (parallel assignments between variables) into a semanticallyequivalent sequ...