3468 search results - page 179 / 694 » An open logical framework |
212
Voted
SAS
2007
Springer
16 years 1 months ago
2007
Springer
We present a framework for inductive definitions in the logic of bunched implications, BI, and formulate two sequent calculus proof systems for inductive reasoning in this framewo...
189
Voted
ICAIL
2003
ACM
16 years 8 days ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
218
Voted
IWFM
2003
15 years 8 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
177
Voted
ICTAI
2002
IEEE
15 years 12 months ago
2002
IEEE
In order to reduce the time-to-market and simplify gatelevel test generation for digital integrated circuits, GAbased functional test generation techniques are proposed for behavi...
202
Voted
PST
2008
15 years 8 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...