1036 search results - page 74 / 208 » Verification Programs for Abduction |
74
Voted
ICSE
2008
IEEE-ACM
16 years 1 months ago
2008
IEEE-ACM
We present a novel technique that speeds up state-space exploration (SSE) for evolving programs with dynamically allocated data. SSE is the essence of explicit-state model checkin...
91
Voted
HASE
2007
IEEE
15 years 7 months ago
2007
IEEE
High assurance in embedded system software is difficult to attain. Verification relies on testing. The unreliable and costly testing process is made much worse because the softwar...
101
Voted
EMSOFT
2008
Springer
15 years 2 months ago
2008
Springer
We focus on decomposition of hard-masking real-time faulttolerant programs (where safety, timing constraints, and liveness are preserved in the presence of faults) that are design...
98
Voted
SIMUTOOLS
2008
15 years 2 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
97
Voted
VMCAI
2010
Springer
15 years 10 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...