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