{log}: From a Constraint Logic Programming Language to a Formal Verification Tool

Documenti analoghi

• Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
  di: Cristiá, Maximiliano, et al.
  Pubblicazione: (2025)
• Combining Type Checking and Set Constraint Solving to Improve Automated Software Verification
  di: Cristiá, Maximiliano, et al.
  Pubblicazione: (2022)
• A Decision Procedure for a Theory of Finite Sets with Finite Integer Intervals
  di: Cristiá, Maximiliano, et al.
  Pubblicazione: (2021)
• Formal Verification of Quantum Programs: Theory, Tools and Challenges
  di: Lewis, Marco, et al.
  Pubblicazione: (2021)
• Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
  di: Bacci, Giorgio, et al.
  Pubblicazione: (2025)