4 search results - page 1 / 1 » Twenty Years of Theorem Proving for HOLs Past, Present and F... |
TPHOL
2008
IEEE
13 years 10 months ago
2008
IEEE
ECEASST
2006
13 years 4 months ago
2006
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
IJCAI
2003
13 years 5 months ago
2003
We overview the development of first-order automated reasoning systems starting from their early years. Based on the analysis of current and potential applications of such systems...
CHARME
2001
Springer
13 years 8 months ago
2001
Springer
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...