Group
THEORETICAL
FOUNDATIONS OF
COMPUTER
SCIENCE
Bookmarks
- Michael Köhler
- The World Wide Web Virtual Library: Formal Methods
Termrewriting
- Theorem Proving and Algebra
- OBJ Family: OBJ3 CafeOBJ Maude Kumo FOOPS Eqlog
- Maude
- The ITP Tool's Home Page
- ELAN
- CoFI -- Casl Tools
Model-Checker
- Spin - Formal Verification
- Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
- PEP Homepage
- UPPAAL
- UPPAAL is an integrated tool environment for modeling, validation and verification of real-time system modeled as networks of timed automata, extended with data types (bounded integers, arrays, etc.).
- Model-Checking Kit
- Website der Universität Stuttgart
- NuSMV home page
Theoremprover
- Web Links. -- Theorem Provers
- COQ
- LEGO
- Isabelle
- NuPRL
- Programming in Martin-Lof's Type Theory
- Thierry Coquand
- Claude Kirchner
-
- Tobias Nipkow
- Larry Paulson
- Type Theory and Functional Programming
Logik
- ProofTheory.ORG
Linear Logic
- Lambda Prolog Home Page
- Lolli: A Linear Logic Programming Language
- The Forum Specification Language
- The Linear Logical Framework LLF
- Frank Pfenning
Modal- und Temporallogik
- EDMUND M. CLARKE
- Moshe Y. Vardi
- Pierre Wolper
- Tom Henzinger: Home Page
- Description logics
- Prolog: logic programming languages expanded
Security Protocols, Cryptography
- SRI International - Computer Science Laboratory
- Verifying Security Protocols Using Isabelle
- AmbientCalculiOnline
- Repository on security protocols
- My personal hotlist
- Computer Security Group
- Peter Ryan, Computing Science, University of Newcastle
Multiagentensysteme
- Les Gasser
- Mike Wooldridge
- Nick Jennings
- Kathleen M. Carley
- Rosaria Conte
- Sektion Modellbildung und Simulation
- Resource Links on Self-Organisation, Complexity and Artificial Life
- Komplexe Systeme und nichtlineare Dynamik
[Dr. M. Köhler]
[Publications]
[TGI]
Last Change: 11:58 04/11/2007
Impressum
