15777 search results - page 3035 / 3156 » The Reformulation-Optimization Software Engine |
108
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
128
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...
112
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
146
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Due to new emerging areas in the communication field there is a constant need for the design of novel communication protocols. This demands techniques for a rapid and eff...
134
click to vote
ICFEM
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...