BRICS Tools Home Page

Disclaimer

Department of Computer Science, University of Aarhus, Denmark,

which use them in their second part courses. The resources are made available by

Centre for Basic Research in Computer Science.

Complete Address

 Computer Science Department     E-mail: btools@brics.dk
 University of Aarhus            
 Ny Munkegade, bld. 540          
 DK-8000 Aarhus C, Denmark       

List of Contents (Last Update: December 1995)

• Auto, AutoGraph & FC2. Developed by Project Meije, at INRIA.

  ---

• BDD Library. (The list of functions in the C library.)

  ---

• CirCal. Developed by HardLab, at University of StrathClyde.

  ---

• COSPAN. Developed by Bob Kurshan (k@research.att.com), at AT&T Bell Labs.

  ---

• CSML & MCB. Developed by Micheal Browne (mcb@cmu.edu) and Ken McMillan (mcmillan@research.att.com), at Carnegie-Mellon University.

  ---

• The Concurrency Workbench. Developed by the Concurrency Group, at the University of Edinburgh.

  ---

• Eiffel (programming language). Developed by Bertrand Meyer (bertrand@eiffel.com) at ISE.

  ---

• Elf. Developed by Mark Pfenning, at Carnegie-Mellon University. (An overview of Elf.)

  ---

• Epsilon. Developed by Semantics and Theory of Computation Group, at Aalborg University. (The manual of Epsilon.)

  ---

• FDR and XFDR. Developed by Formal Systems (Europe) Ltd., Oxford, (fdr-request@comlab.ox.ac.uk). (This tool is not for free.)

  ---

• Haskell. Developed at Yale University. A Gentle Introduction to Haskell and the preliminary user manual. (For the definition of the language see, P. Hudak, S. Peyton Jones P. Wadler (eds.), `Report on the Programming Language Haskell' ACM SIGPLAN Notices 27(5), 1992.)

  ---

• HOL. Developed at Computer Laboratory, Cambridge University.

  ---

• HyTech. Developed by Tom Henzinger (tah@cs.cornell.edu), at Cornell University.

  ---

• HSIS. Developed by CAD Group, at UoC Berkeley.

  ---

• Isabelle. Developed at Computer Laboratory, Cambridge University.

  ---

• Java and JavaScript (programming language). Developed respectively by Sun and Netscape.

  ---

• Kronos. Developed at VERIMAG, IMAG.

  ---

• MONA. Developed by Nils Klarlund (klarlund@research.att.com), at BRICS, University of Aarhus.

  ---

• Nuprl. Developed at Cornell University.

  ---

• MurPhi. Developed by Digital Systems CAD Group, at Stanford University.

  ---

• PAM and VPAM. Developed by Huimin Lin (huimin@cogs.susx.ac.uk) at COGS, University of Sussex.

  ---

• Python (programming language). Developed by Python Software Activity, hosted by Corporation for National Research Initiative.

  ---

• NqThm, also known as `the Boyer-Moore Theorem Prover'. Developed by Computational Logic, Inc.

  ---

• Pc-NqThm. Developed by Computational Logic, Inc.

  ---

• Obliq (programming language). Developed by Luca Cardelli (luca@pa.dec.com) at Digital, SRC.

  ---

• Self (programming language). Developed by the Self Group at Sun MicroSystems Labs and Stanford University.

  ---

• SMV. Developed by Ken McMillan (mcmillan@research.att.com), at Carnegie-Mellon University.

  ---

• SPIN. (PostScript manuals for SPIN v1 and the updates to SPIN v2.)

  ---

• Tcl/Tk (programming language). Developed by John Ousterhout (ouster@cs.berkeley.edu). (A summary of Tcl language syntax, an overview of Tk4.0, and an introduction to Tcl/Tk.

  ---

• TOPO & LOLA. Developed by Lotos Tools Development Team, at Universidad Politécnica de Madrid.

  ---

• UPPAAL. (See also this.) Developed at Uppsala University (see also this) and at Aalborg University.

  ---

• Versa. Developed by Real-Time Systems Group, at University of Pennsylvania.

Automated Reasoning Systems Page

General Purpose Pointers to the WWW

• The WWW Virtual Library: Subject Catalogue.
• The WWW Virtual Library: Art, Literature, and Culture.
• The WWW Virtual Library: Computing and Mathematics.
• The WWW Virtual Library: Cognitive Science and Linguistics
• The WWW Virtual Library: Conferences.
• The WWW Virtual Library: Games and Recreation.
• Starting Points for Internet Exploration.
• The World Wide Web Worm.
• The Virtual Tourist.
• Cultural European Home Pages.