Uma "Biblioteca Padrão" estendida para Coq. [coqdoc]
Fork de https://gitlab.inria.fr/charguer/cfml2
Uma ferramenta que ajuda a instrumentar um sistema para rastreamento distribuído. A ferramenta detecta locais onde a propagação do contexto de rastreamento é potencialmente necessária.
O desenvolvimento Coq para Iris. [site do projeto] [coqdoc]
Síntese reativa paralela para especificações ômega-regulares sob a condição de justiça de transição
Este projeto contém alguns scripts e outros arquivos que são usados ​​por muitos projetos Iris para seus CIs.
RustHorn × RustBelt
Triplos logicamente atômicos em Iris
O desenvolvimento Coq para Iris
O principal desenvolvimento da Coq.
Uma versão modificada do StochasticSynthesis que usamos para nossas submissões TAC '21 e TACAS '22. O repositório original está aqui: https://github.com/gtfactslab/StochasticSynthesis