4617 search results - page 262 / 924 » Automation of Diagrammatic Reasoning |
170
click to vote
IFIP
1997
Springer
15 years 10 months ago
1997
Springer
The factory of the future is going to have a high, but not full, degree of automation. There are three reasons for that. First, no great level of automation is compatible with req...
169
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
State-of-the-art automated theorem provers (ATPs) are today able to solve relatively complicated mathematical problems. But as ATPs become stronger and more used by mathematicians...
158
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...
180
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. 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 ...
169
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...