570 search results - page 28 / 114 » From Program Verification to Program Synthesis |
112
click to vote
HICSS
2009
IEEE
15 years 9 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...
115
click to vote
AAAI
2007
15 years 4 months ago
2007
The gap in automation between MIP/SAT solvers and those for constraint programming and constraint-based local search hinders experimentation and adoption of these technologies and...
114
click to vote
MEMOCODE
2010
IEEE
15 years 10 days ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
148
Voted
ICIC
2009
Springer
15 years 5 days ago
2009
Springer
This paper presents an evolutionary method for identifying the gene regulatory network from the observed time series data of gene expression using a system of ordinary differential...
114
Voted
JAR
2006
15 years 2 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...