Directorio | Informática | Ciencias Computacionales | Metodos Formales

Categorías

Enlaces a sitios
Formal Methods - Model Checking model checking is a method for formally verifying finite-state concurrent systems.	Formal Methods Wiki A community-driven wiki providing a comprehensive collection of information and resources about formal methods in computer science.
HOL Theorem Prover HOL (Higher-Order Logic) es una familia de sistemas de demostración de teoremas. Este sitio sirve como un recurso central para HOL4 y enlaces a otros sistemas relacionados con HOL y métodos formales.	HOL Theorem Prover HOL (Higher-Order Logic) denota una familia de sistemas interactivos de demostración de teoremas que utilizan una formulación similar de lógica de orden superior. HOL4 es una de las implementaciones activas.
Logic and Semantics Group - University of Warsaw Research group at the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw, focusing on logic, automata theory, and semantics.
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 World A comprehensive collection of information on Petri nets, including tools, events, publications, and mailing lists, maintained at the University of Hamburg.
SICS/KTH - Formal Design Techniques group SICS/KTH - Formal Design Techniques group
The HOL Theorem Prover The central resource for the HOL family of interactive theorem proving systems for higher-order logic, including HOL4, HOL Light, and related tools.