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.	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