Zobrazeno 1 - 3
of 3
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/
This book constitutes the refereed proceedings of the 30th International Symposium on Static Analysis, SAS 2023, held in Lisbon, Portugal, in October 2023. The 20 full papers included in this book were carefully reviewed and selected from 40 submissi
This book constitutes the proceedings of the 38th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2019, held in Turku, Finland, in September 2019. The 16 full and 5 short papers included in this volume were carefully r