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 > Software (D) > Software Engineering (D.2) > Software/Program Verification (D.2.4)
  Software/Program Verification (D.2.4) See Reviews  
Subject Descriptors:
Assertion Checkers (17)
Class Invariants (3)
Correctness Proofs (100)
Formal Methods (123)
Model Checking (84)
Programming By Contract (7)
Reliability (89)
Statistical Methods (21)
Validation (94)
Proper Nouns:
There are no proper nouns with reviews under D.2.4.
Reviews limited to:

Reviews about "Software/Program Verification (D.2.4)":
 Introduction to statistical and machine learning methods for data science
Pinheiro C., Patetta M., SAS Institute Inc., Cary, NC, 2021.  Type: Book (1953329608)
 Predicting the unknown: the history and future of data science and artificial intelligence
Kampakis S., Apress, New York, NY, 2023. 281 pp.  Type: Book (1484295048)
Statistical methods for data analysis: with applications in particle physics (3rd ed.)
Lista L., Springer International Publishing, Cham, Switzerland, 2023. 334 pp.  Type: Book (9783031199332)
Metamorphic testing: a review of challenges and opportunities
Chen T., Kuo F., Liu H., Poon P., Towey D., Tse T., Zhou Z. ACM Computing Surveys 51(1): 1-27, 2018.  Type: Article
 Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp.  Type: Book (978-3-030051-55-6)
Modular product programs
Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019.  Type: Article
Verification methods for the computationally complete symbolic attacker based on indistinguishability
Bana G., Chadha R., Eeralla A., Okada M. ACM Transactions on Computational Logic 21(1): 1-44, 2019.  Type: Article
Related Topics
D.2.4 Software/Program Verification
  - Specifying And Verifying And Reasoning About Programs
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy