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
  Kosmatov, Nikolai Add to Alert Profile  
 
Options:
Date Reviewed  
  1 - 1 of 1 reviews    
   How testing helps to diagnose proof failures
Petiot G., Kosmatov N., Botella B., Giorgetti A., Julliand J. Formal Aspects of Computing 30(6): 629-657, 2018.  Type: Article

Petiot et al. present testing software components that help optimize the effort of “applying deductive verification to formally prove that a [computer] program respects its formal specification.”...
...
May 10 2019  

   
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud®
Terms of Use
| Privacy Policy