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

Reviews about "Software/Program Verification (D.2.4)":
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
Semantics-based program verifiers for all languages
Stefănescu A., Park D., Yuwen S., Li Y., Roşu G.  OOPSLA 2016 (Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Amsterdam, Netherlands,  Nov 2-4, 2016) 74-91, 2016. Type: Proceedings
Model checking learning agent systems using Promela with embedded C code and abstraction
Kirwan R., Miller A., Porr B.  Formal Aspects of Computing 28(6): 1027-1056, 2016. Type: Article
System verification: proving the design solution satisfies the requirements (2nd ed.)
Grady J.,  Academic Press, Boston, MA, 2016. 414 pp. Type: Book (978-0-128042-21-2)
Decidability and complexity for quiescent consistency
Dongol B., Hierons R.  LICS 2016 (Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, New York, NY,  Jul 5-8, 2016) 116-125, 2016. 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-2017 ThinkLoud, Inc.
Terms of Use
| Privacy Policy