Снова из RU.PROGRAMMING.LANGUAGES.

[thesz]

К недавнему посту про ACL2.

Глава из книги "Computer-Aided Reasoning: ACL2 Case Studies."
http://www-static.cc.gatech.edu/fac/Pete.Manolios/research/acs-mu-calc.html

Abstract
Temporal logic model-checking has received substantial academic

Comments

[pushishka]

Мой двоюродный брат сказал бы:

- Руинда какая-то...

[thesz]

Not at all.

That's all quite important.

;)

[pushishka]

;))