564 search results - page 25 / 113 » Runtime Verification of C Programs |
136
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
147
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
150
click to vote
WSC
2008
15 years 7 months ago
2008
Proposed in this paper is the architecture of a PLC programming environment that enables a visual verification of PLC programs. The proposed architecture integrates a PLC program ...
143
click to vote
ACTA
2010
15 years 5 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
140
click to vote
RTAS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...