204 search results - page 19 / 41 » A Connection Based Proof Method for Intuitionistic Logic |
122
Voted
ICCAD
2010
IEEE
15 years 21 days ago
2010
IEEE
Craig Interpolation is a state-of-the-art technique for logic synthesis and verification, based on Boolean Satisfiability (SAT). Leveraging the efficacy of SAT algorithms, Craig In...
108
Voted
LFCS
2009
Springer
15 years 9 months ago
2009
Springer
We present FixIt(ALC), a novel procedure for deciding knowledge base (KB) satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured m...
130
Voted
POPL
2010
ACM
16 years 3 days ago
2010
ACM
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
131
Voted
CORR
2010
Springer
15 years 3 days ago
2010
Springer
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
138
Voted
LOPSTR
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...