On 6/12/2018 12:46 PM, Maciej Sobczak wrote:
> Ktoś się na grupie zajmuje takimi tematami? :-)

Nieco z innej beczki: podobnymi problemami (czy dany kod jest osiągalny
a jak jest to czy poprawny) zajmuje się dziedzina w HDL taka jak code
coverage + randomizacje. Oni tam mają bardziej statystyczne podejście do
problemów jakości. Dodatkowo weryfikacja funkcjonalna o ile pamiętam
jako side effect ma eliminację martwych gałęzi. Temat na kilka
doktoratów które w dodatku już zrobiono.