??????? ??. ???????

??????? ????? ???????
??????? ????? ???????
????	???????? ??, ???? (???? ??)
????????	????? ???????? (????)
	????????? ????????
???????????	????????? ???????
??????????????	????????? ?????????????? ; ???????? ???? ????????????
??????? ??????????	???????? ??????? ??????

??????? ????? ??????? ???? ????????? ?????????

????? [ ???????? ]

??????? ???? ???? ???????????? ?? ??????????? ???? ????? ??? ??????, ???? ???? ???? ?????????????? ???? ????? ??? ?????? ??? ???? ???? ?????? ?????????????? ???? ????????? ???????? ??????? ?????? ????? ????? ???? ???? ???? ???? ??? ??????? ???? ??????????????? ???????? ????? ???? ???? ???? ??? ??????? ????????? ?????????????? ? ???????? ????? ^[?]

???????? ? ???????? [ ???????? ]

??????? ????????????? ?? ????????? ???????? ? ?????????? ?? ????????????? ??????? ???????????? ????????????? ?? ?????

????????? [ ???????? ]

↑ http://www.cs.cmu.edu/~emc/bio.html

????????? [ ???????? ]

???? ???????????? ???????? ??????? ??. ???????
Home page at Carnegie Mellon University
Turing Award announcement
Model Checking book ????????? ?????? ?????????? ? ?????? ???? ??????
CMACS home page

????????:Kanellakis Award laureates

[1] ttp://www.cs.cmu.edu/~emc/bio.html

[?]