Ce projet propose une sémantique formelle pour le langage de programmation Erlang, axée sur l'ordre des messages et la gestion des signaux. Il vise à simplifier la représentation du parallélisme et de la concurrence, tout en offrant une modélisation des comportements de surveillance et de gestion des exceptions. Les fonctionnalités telles que la création dynamique de processus, la représentation du temps continu ou la mise à jour dynamique du code ne sont pas prises en charge.

Necro est un projet OCaml développé à Inria Rennes en juin 2018, en relation avec l'article de recherche Skeletal Semantics and their Interpretations. Le projet fournit une boîte à outils pour manipuler les squelettes sémantiques, un format pour représenter la sémantique des langages de programmation.