Ciencia1.com - Ciencia y Tecnología | Informática | Ciencias Computacionales | Metodos Formales

Categorías	» Agregar Enlace

Enlaces a sitios
BYU Laboratory for Applied Logic BYU Laboratory for Applied Logic Idioma: English / English	CSP Archive contains information relevant to the process algebra CSP (Communicating Sequential Processes) Idioma: English / English
FAQ - HOL Documentation Server FAQ - HOL Documentation Server Idioma: English / English	Formal Methods - Model Checking model checking is a method for formally verifying finite-state concurrent systems. Idioma: English / English
MeijeTools a set of tools for the automatic verification of parallel and distributed systems. Idioma: English / English
NASA Langley Formal Methods Program NASA Langley Formal Methods Program Idioma: English / English
Petri Nets a formal graphical notation for modelling systems with concurrency Idioma: English / English
SICS/KTH - Formal Design Techniques group SICS/KTH - Formal Design Techniques group Idioma: English / English
The HOL Theorem Proving System The HOL Theorem Proving System Idioma: English / English
UC Davis Programming Languages and Verification Laboratory UC Davis Programming Languages and Verification Laboratory Idioma: English / English	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. Idioma: English / English
Web Directory: Formal Method Sites Web Directory: Formal Method Sites Idioma: English / English	Web Directory: Formal Methods - WWW Virtual Library Web Directory: Formal Methods - WWW Virtual Library Idioma: English / English
Web Directory: HOL - WWW Virtual Library Web Directory: HOL - WWW Virtual Library Idioma: English / English