Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Isabelle

Known as: Isabelle proof assistant, Isabelle (disambiguation), Isabelle software 
The Isabelle theorem prover is an interactive theorem prover, a Higher Order Logic (HOL) theorem prover. It is an LCF-style theorem prover (written… Expand
Wikipedia

Related topics

Related topics

17 relations
Automated reasoningFirst-order logicFormal methodsHP 9000
Expand

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The Isabelle Framework
Isabelle, which is available from http://isabelle.in.tum.de , is a generic framework for interactive theorem proving. The… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant… Expand
  • figure 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Verification of sequential imperative programs in Isabelle-HOL
The purpose of this thesis is to create a verification environment for sequential imperative programs. First a general language… Expand
  • figure 2.1
  • figure 2.2
  • figure 3.1
  • figure 3.2
  • figure 3.3
Is this relevant?
Highly Cited
2005
Highly Cited
2005
Nominal Techniques in Isabelle/HOL
In this paper we define an inductive set that is bijective with the α-equated lambda-terms. Unlike de-Bruijn indices, however… Expand
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Isabelle/HOL
By reading, you can know the knowledge and things more, not only about what you get from people to people. Book will be more… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Corporate Social Responsibility in Europe and the U.S.: Insights from Businesses’ Self-presentations
The paper compares the extent and content of businesses’ communications about corporate social responsibility (CSR) in France… Expand
  • table 2
  • table 3
  • table 4
  • figure 1
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Targeting consumers who are willing to pay more for environmentally friendly products
Concerns related to the environment are evident in the increasingly ecologically conscious marketplace. Using various statistical… Expand
  • figure 1
  • table I
  • table II
  • table III
  • table IV
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Locales - A Sectioning Concept for Isabelle
Locales are a means to define local scopes for the interactive proving process of the theorem prover Isabelle. They delimit a… Expand
Is this relevant?
Highly Cited
1994
Highly Cited
1994
Isabelle: A Generic Theorem Prover
Foundations.- Getting started with Isabelle.- Advanced methods.- Basic use of Isabelle.- Proof management: The subgoal module… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Phonological processes in literacy: A tribute to Isabelle Y. Liberman.
Contents: Preface. Part I: Introduction. J. Morais, Constraints on the Development of Phonemic Awareness. B.A. Blachman… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE