31 search results - page 1 / 7 » Strategy Parallelism in Automated Theorem Proving |
FLAIRS
1998
13 years 6 months ago
1998
JAR
2000
13 years 4 months ago
2000
We report our effort to build a geometry deductive database, which can be used to find the fixpoint for a geometric configuration. The system can find all the properties of the con...
TPHOL
2005
IEEE
13 years 10 months ago
2005
IEEE
Wouldn’t it be nice to be able to conveniently use ordinary real number expressions within proof assistants? In this paper we outline how this can be done within a theorem provin...
SNPD
2007
13 years 6 months ago
2007
As malicious code has become more sophisticated and pervasive, faster and more effective system for forensics and prevention is important. Particularly, quick analysis of polymorp...
IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
Abstract. We address the general problem of automatically proving safety properties of reactive systems within the UNITY model. We take up a relational and set-based approach, and ...