Scholarlink

In this chapter, we describe the options available when verification fails to terminate, or simply takes longer than desired. In particular, we present different ways that the modeler can influence Tamarin’s reasoning heuristics to improve Tamarin’s efficiency and reduce the time it needs to construct proofs. Chapter 11 explains the overall workflows and provides some hints on which option is appropriate for which case.

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Reducing Proof-Construction Time

  • 章节

  • 发表日期：

    2026年

查看全文
  • David Basin,
  • Cas Cremers,
  • Jannik Dreier,
  • Ralf Sasse

摘要

In this chapter, we describe the options available when verification fails to terminate, or simply takes longer than desired. In particular, we present different ways that the modeler can influence Tamarin’s reasoning heuristics to improve Tamarin’s efficiency and reduce the time it needs to construct proofs. Chapter 11 explains the overall workflows and provides some hints on which option is appropriate for which case.