570 search results - page 44 / 114 » From Program Verification to Program Synthesis |
106
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...
101
Voted
BIRTHDAY
2008
Springer
15 years 4 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
123
click to vote
ASE
2010
15 years 2 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
134
click to vote
IJAIT
2006
15 years 2 months ago
2006
We describe a system for the automated certification of safety properties of NASA software. The system uses Hoare-style program verification technology to generate proof obligatio...
156
Voted
FMCO
2009
Springer
15 years 8 days ago
2009
Springer
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...