Kodowanie a wnioskowanie

Opublikowaliśmy kolejne tłumaczenie w serwisie 97rzeczy:

  • Kodowanie a wnioskowanie (autor: Yechiel Kimchi)
    "Próba wnioskowania na temat poprawności programu często skutkuje formalnym dowodem, który jest dłuższy niż sam kod i z większym prawdopodobieństwem zawiera błędy. Zautomatyzowane narzędzia są tutaj wskazane, jednak ich użycie nie zawsze jest możliwe."

Zachęcamy do lektury,
Zespół devMedia.pl

0 komentarze:

Prześlij komentarz

Related Posts with Thumbnails