Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help
  Browse All Reviews > Theory Of Computation (F) > Logics And Meanings Of Programs (F.3) > Specifying And Verifying And Reasoning About Programs (F.3.1)
  Specifying And Verifying And Reasoning About Programs (F.3.1) See Reviews  
Subject Descriptors:
Assertions (17)
Invariants (14)
Logics Of Programs (82)
Mechanical Verification (49)
Pre- And Post-Conditions (17)
Specification Techniques (151)
Proper Nouns:
Dynamic Logic (Dl) (1)
Reviews limited to:

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., Heuner 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
Related Topics
F.3.1 Specifying And Verifying And Reasoning About Programs
  - Data Structures
  - Requirements/Specifications
  - Software/Program Verification
  - Formal Definitions And Theory
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2021 ThinkLoud, Inc.
Terms of Use
| Privacy Policy