An optimal cut-off algorithm for parameterised refinement checking

Antti Siirtola, Keijo Heljanko

Research output: Contribution to journalArticleScientificpeer-review

Original languageEnglish
Article number102517
JournalScience of Computer Programming
Volume198
Number of pages31
ISSN0167-6423
DOIs
Publication statusPublished - 15 Oct 2020
MoE publication typeA1 Journal article-refereed

Fields of Science

  • Compositional verification
  • Parameterized systems
  • Cut-off
  • Satisfiability modulo theories
  • Automated verification
  • MODEL CHECKING
  • VERIFICATION
  • SYSTEMS
  • 113 Computer and information sciences

Cite this