Кстати забавно что народу как-то сразу начали мерещиться "автоматические судьи" и прочие ужасы - хотя вполне очевидно зачем на самом деле это может быть нужно (и кстати в постановке задачи на госконкурсе это сказано прямо) - для того же, для чего нужны типовые системы (и более продвинутые варианты верификаторов) - для "статической отладки" законодательства: То есть для поиска по крайней мере (для начала) наиболее очевидных дыр, ляпов и противоречий в законодательной продукции (и для поддержания хотя бы на некотором уровне консистентности ее при патчах). 100% выявление багов тут совершенно не требуется (как не отменяет крайней полезности даже примитивных типовых систем, тот факт, что они обеспечивают весьма куцую проверку консистентности программного кода) PS: А вот кстати то, что заявка вынесена на конкурс кстати почти наверняка означает, что какие-то достаточно конкретные уже наработки, под финансирование которых конкурс и объявлен, уже есть.