Property-directed incremental invariant generation
- 作者Aaron R. Bradley; Zohar Manna
- 卷第20卷
- 印刷ISSN0934-5043
- 电子ISSN1433-299X
- 文件大小686.21KB
- 发表时间2008-07
- DOI10.1007/s00165-008-0080-9
- 页码379-405
同作者推荐
Thread algebra for poly-threadingJ. A. Bergstra; C. A. Middelburg · 2011
Machine structure oriented control code logicJ. A. Bergstra; C. A. Middelburg · 2009
Instruction sequence processing operatorsJ. A. Bergstra; C. A. Middelburg · 2012
Synchronous cooperation for explicit multi-threadingJ. A. Bergstra; C. A. Middelburg · 2007
A Process Calculus with Finitary Comprehended TermsJ. A. Bergstra, C. A. Middelburg · 2013
Algebra of timed framesBergstra, J. A.; Fokkink, W. J.; Middelburg, C. A. · International Journal of Computer Mathematics · 1996
Process Algebra with Strategic InterleavingBergstra, J. A.; Middelburg, C. A. · Theory of Computing Systems · 2018