126
Voted
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. We propose a purely implicit solution to the contextual assumption generation problem in assume-guarantee reasoning. Instead of improving the L∗ algorithm — a learnin...
131
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
elor Thesis: Demand Driven Abstraction Refinement • Advisor: Dr. Andrey Rybalchenko Kendriya Vidyalaya ONGC, Dehradun, Uttaranchal INDIA All India Senior Secondary Examination, ...
118
click to vote
CAV
2010
Springer
15 years 8 months ago
2010
Springer
Abstract. Modern termination provers rely on a safety checker to construct disjunctively well-founded transition invariants. This safety check is known to be the bottleneck of the ...
128
click to vote
ACMIDC
2009
15 years 8 months ago
2009
This paper reports on different projects aimed at fostering inclusion in Portuguese elementary and high schools at national, regional and local level through ICT projects. Based o...