Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Giet, Josselin"'
Cet article présente MOLOSS, un solveur pour la satisfiabilité en logique modale. MOLOSS implémente et étend le travail théorique d'Aceres et al. dans lequel les auteurs définissent une procédure de décision basée SMT pour les logiques modal
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fd025d094f76092ac9da815c0057ce4c
https://oatao.univ-toulouse.fr/20094/
https://oatao.univ-toulouse.fr/20094/
