ISABELLE

ISABELLE
Isabelle
Aktuelle Version: Isabelle2008
Betriebssystem: unixoide
Kategorie: Theorembeweiser
Lizenz: BSD-Lizenz
isabelle.in.tum.de

Isabelle ist ein generischer interaktiver Theorembeweiser, der von Lawrence Paulson (Universität Cambridge) und Tobias Nipkow (TU München) entwickelt wird.

Ein wichtiger Anwendungsbereich von Isabelle ist die formale Verifizierung von Hard- und Software. Isabelle ist in der Programmiersprache Standard ML geschrieben und ist freie Software unter der BSD-Lizenz.

Literatur

  • Tobias Nipkow, Lawrence C. Paulson, Markus Wenzel: Isabelle/HOL A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, Vol. 2283, 2002, ISBN 3-540-43376-7
  • Lawrence C. Paulson: The foundation of a generic theorem prover, Journal of Automated Reasoning, Volume 5 , Issue 3 (September 1989), S. 363 - 397, ISSN 0168-7433

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • isabelle — [ izabɛl ] adj. inv. • isavelle 1630; esp. Isabel, n. pr. ♦ De couleur jaune pâle. Rubans isabelle. Spécialt Cheval, jument isabelle. ● isabelle nom féminin Nom usuel du grællsia. ● isabelle adjectif invariable (du nom de Isabelle la Catholique)… …   Encyclopédie Universelle

  • Isabelle II — d Espagne  Pour l’article homonyme, voir Pont Isabelle II (Séville).  Isabelle II …   Wikipédia en Français

  • Isabelle A — 2006. Isabelle A mit Luc De Vos von der Band Gorki beim 01 …   Deutsch Wikipedia

  • isabelle — ISABELLE. adj. de tout genre. Qui est de couleur mitoyenne entre le blanc, le jaune, & la couleur de chair. Couleur isabelle. cheval isabelle. ruban isabelle. Il se prend aussi subst. & est masculin. Voila un bel isabelle. isabelle clair,… …   Dictionnaire de l'Académie française

  • Isabelle — Isabelle, ein alter Vornahme weiblichen Geschlechtes. Er war schon bey den Juden üblich, wo Ahabs Gemahlinn unter dem Nahmen Isebel oder Jesabel vorkommt, welcher eine bewohnte Insel bedeuten soll, von אי eine Insel, und זבל wohnen. Der… …   Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart

  • Isabelle [1] — Isabelle, Kupferhütte bei Dillenburg, s.d. 2) …   Pierer's Universal-Lexikon

  • Isabelle [2] — Isabelle, Pferd von bräunlich gelber Farbe (Isabellfarbe), mit weißen Mähnen u. Schweifen u. mit Glasaugen (s.d.). Man unterscheidet Blaß u. Goldisabellen; letztere, deren Farbe ins Rothgelbe spielt, sind die geschätztesten …   Pierer's Universal-Lexikon

  • Isabelle — Isabelle, ein Pferd von gelber Farbe mit weißen Schopf , Mähnen und Schwanzhaaren …   Meyers Großes Konversations-Lexikon

  • Isabelle — [iz′ə bel΄] n. 〚Fr〛 a feminine name: dim. Belle: see ISABEL * * * …   Universalium

  • Isabelle II — (Marie Louise, dite) (1830 1904) reine d Espagne (1833 1868). Fille de Ferdinand VII, elle succéda à son père, son oncle Don Carlos ayant été écarté du trône. Elle dut abdiquer (1868) …   Encyclopédie Universelle

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”