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 (16)
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)":
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
Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems
Cauchi N., Laurenti L., Lahijanian M., Abate A., Kwiatkowska M., Cardelli L.  HSCC 2019 (Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, Apr 16-18, 2019) 240-251, 2019.  Type: Proceedings
Handbook of model checking
Clarke E., Henzinger T., Veith H., Bloem R., Springer International Publishing, New York, NY, 2018. 1210 pp.  Type: Book (978-3-319105-74-1)
A generalized digraph model for expressing dependencies
Fradet P., Guo X., Monin J., Quinton S.  RTNS 2018 (Proceedings of the 26th International Conference on Real-Time Networks and Systems, Chasseneuil-du-Poitou, France, Oct 10-12, 2018) 72-82, 2018.  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 1999-2023 ThinkLoud®
Terms of Use
| Privacy Policy