Directorio | Informática | Ciencias Computacionales | Metodos Formales

Categorías

Enlaces a sitios
Formal Methods - Model Checking Model checking is an automated method for formally verifying finite-state concurrent systems against specified requirements.	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) 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 foundations of logic.
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