穿线机

线程程序：多线程程序的验证程序。Threader是一个工具，它可以自动验证多线程C程序的安全性和终止属性。Threader的显著特点是它使用了与已验证程序的线程结构相关的复合推理。本文描述了Threader采用的验证方法，并提供了如何安装和使用该工具的说明。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH参考文献（14篇文章引用）

显示第1至14个结果，共14个。
按年份排序(引用)

  1. Oortwijn，Wytse；Gurov，Dilian；Huisman，Marieke:共享内存并发性自动验证的实用抽象（2020）
  2. Beyer，Dirk；Gulwani，Sumit；Schmidt，David A.：结合模型检查和数据流分析（2018）
  3. Jhala，Ranjit；Podelski，Andreas；Rybalchenko，Andrey:用于程序验证的谓词抽象（2018）
  4. Kaiser，Alexander；Krooning，Daniel；Wahl，Thomas：《迷失在抽象中：多线程程序中的单调性》（2017）
  5. Monat，Raphaël；Miné，Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释（2017）
  6. Saarikivi，Olli；Heljanko，Keijo:LCTD:LLVM上C程序的测试引导证明（2016）
  7. Chaki，Sagar；Gurfinkel，Arie；Strichman，Ofer:多线程程序的回归验证（带锁扩展和动态线程创建）（2015）
  8. Gange，Graeme；Navas，Jorge A.；Schachte，Peter；Søndergaard，Harald；Stuckey，Peter J.：Horn子句作为程序分析和转换的中间表示（2015）
  9. Jade Alglave；Daniel Krooning；Nimal，Vincent；Tautschnig，Michael：通过程序转换实现弱内存的软件验证（2013）
  10. 拜尔，德克：软件验证的第二次竞赛。（2013年SV-COMP摘要）（2013年）ioport公司
  11. Popeea，Corneliu；Rybalchenko，Andrey:Threader：多线程程序的验证程序。（竞争贡献）（2013年）ioport公司
  12. Chaki，Sagar；Gurfinkel，Arie；Strichman，Ofer:多线程程序的回归验证（2012）
  13. Donaldson，Alastair F.；Kaiser，Alexander；Kroneing，Daniel；Tautschnig，Michael；Wahl，Thomas:对称并发程序的反例引导抽象精化（2012）
  14. Gupta，Ashutosh；Popeea，Corneliu；Rybalchenko，Andrey:Threader:多线程程序的基于约束的验证器（2011）ioport公司