Algorithms and Logics for Verification

Research output

Content available in repository 2012 2023 2024 2025

• 58 Conference contribution
• 26 Article
• 8 Book editing
• 6 Chapter
• 23 More
  • 5 Software
  • 4 Foreword/editorial
  • 3 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 3 EngD Thesis
  • 3 Preprint
  • 2 Conference article
  • 1 Report
  • 1 Editorial
  • 1 Working paper

Content available in repository

Content available in repository

Search results

• 2024

  Expressivity of AuDaLa: Turing Completeness and Possible Extensions

  Franken, T. T. P. & Neele, T., 19 Dec 2024.

  Research output: Working paper › Preprint › Academic

  File

  • Verification 100%
  • Expressivity 100%
  • Expressiveness 100%
  • Programming Language 100%
  • Parallel Language 100%

• Formal Modelling and Analysis of Slot Machines.

  Groote, J. F., van Heesch, S. & Volk, M., 2024.

  Research output: Working paper › Preprint › Academic

• On Woolhouse's Cotton-Spinning Problem.

  Groote, J. F. & Willemse, T. A. C., 2024.

  Research output: Working paper › Preprint › Academic