吉野Isobe；马库斯·罗根巴赫 CSP的证明原则–CSP-prover在实践中。 （英语） Zbl 1218.68105号 Haasis，Hans-Dietrich（编辑）等，《物流动力学》。2007年8月28日至30日在德国不来梅举行的2007年最不发达国家问题国际委员会第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-76861-6/hbk）。425-442 (2008). 摘要：过程代数CSP为并发系统的建模、分析和验证提供了一种完善的形式。CSP除了是一种规范语言之外，还提供了一组有价值的证明原则。我们以教程的形式展示了这些证明原理是如何在我们的工具CSP-Prover中实现的。总的来说，CSP-Prover是一款可以在应用中使用的非现成工具。关于整个系列，请参见[Zbl 1140.91020号]. 引用于4文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：CSP防护 PDF格式BibTeX公司 XML格式引用 \textit{Y.Isobe}和\textit{M.Roggenbach}，in：物流动力学。2007年8月28日至30日在德国不来梅举行的2007年最不发达国家问题国际委员会第一届国际会议。诉讼程序。柏林：斯普林格。425-442（2008年；兹bl 1218.68105） 全文： 内政部