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 (98)
Formal Methods (113)
Model Checking (81)
Programming By Contract (7)
Reliability (89)
Statistical Methods (14)
Validation (84)
Proper Nouns:
There are no proper nouns with reviews under D.2.4.
Reviews limited to:

Reviews about "Software/Program Verification (D.2.4)":
Model-based testing of probabilistic systems
Gerhold M., Stoelinga M.  Formal Aspects of Computing 30(1): 77-106, 2018. Type: Article
Concise guide to formal methods: theory, fundamentals and industry applications
O’Regan G.,  Springer International Publishing, New York, NY, 2017. 312 pp. Type: Book (978-3-319640-20-4)
Software engineering: specification, implementation, verification
Alagić S.,  Springer International Publishing, New York, NY, 2017. 178 pp. Type: Book (978-3-319615-17-2)
Validation of formal specifications through transformation and animation
Mashkoor A., Jacquot J.  Requirements Engineering 22(4): 433-451, 2017. Type: Article
The science of brute force
Heule M., Kullmann O.  Communications of the ACM 60(8): 70-79, 2017. Type: Article
Incremental bounded model checking for embedded software
Schrammel P., Kroening D., Brain M., Martins R., Teige T., Bienmüller T.  Formal Aspects of Computing 29(5): 911-931, 2017. Type: Article
Evaluating software architecture evaluation methods: an internal replication
Abrahão S., Insfran E.  EASE 2017 (Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering, Karlskrona, Sweden,  Jun 15-16, 2017) 144-153, 2017. Type: Proceedings
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 © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy