|
Reviews about "Specifying And Verifying And Reasoning About Programs (F.3.1)":
|
Variant construction from theoretical foundation to applications Zheng J., Springer International Publishing, New York, NY, 2019. 409 pp. Type: Book
|
A Hoare logic for GPU kernels Kojima K., Igarashi A. ACM Transactions on Computational Logic 18(1): 1-43, 2017. Type: Article
|
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language Corrodi C., Heu&bgr;ner A., Poskitt C. Formal Aspects of Computing 30(1): 163-192, 2018. Type: Article
|
A compositional modelling and verification framework for stochastic hybrid systems Wang S., Zhan N., Zhang L. Formal Aspects of Computing 29(4): 751-775, 2017. Type: Article
|
Fundamental proof methods in computer science: a computer-based approach Arkoudas K., Musser D., MIT Press, Cambridge, MA, 2017. Type: Book (9780262035538)
|
Proof checking and logic programming Miller D. Formal Aspects of Computing 29(3): 383-399, 2017. Type: Article
|
Foundations for using linear temporal logic in Event-B refinement Hoang T., Schneider S., Treharne H., Williams D. Formal Aspects of Computing 28(6): 909-935, 2016. Type: Article
|
more...
|
|
|
|