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