Directorio | Informática | Ciencias Computacionales | Metodos Formales

Categorías	» Agregar Enlace

Enlaces a sitios
BYU Laboratory for Applied Logic BYU Laboratory for Applied Logic	CSP Archive contains information relevant to the process algebra CSP (Communicating Sequential Processes)
FAQ - HOL Documentation Server FAQ - HOL Documentation Server	Formal Methods - Model Checking model checking is a method for formally verifying finite-state concurrent systems.
MeijeTools a set of tools for the automatic verification of parallel and distributed systems.
NASA Langley Formal Methods Program NASA Langley Formal Methods Program
Petri Nets a formal graphical notation for modelling systems with concurrency
SICS/KTH - Formal Design Techniques group SICS/KTH - Formal Design Techniques group
The HOL Theorem Proving System The HOL Theorem Proving System
UC Davis Programming Languages and Verification Laboratory UC Davis Programming Languages and Verification Laboratory	Warsaw University - Applied Logic Group Main Fields of Research Interest: Logics of programs, lambda calculus, type theory, non-monotonic reasoning, complexity theory, automata theory, functional programming, semantics of programming languages.
Web Directory: Formal Method Sites Web Directory: Formal Method Sites	Web Directory: Formal Methods - WWW Virtual Library Web Directory: Formal Methods - WWW Virtual Library
Web Directory: HOL - WWW Virtual Library Web Directory: HOL - WWW Virtual Library