졸작 발표하러 왔다

[씨알메리(223.62)]

양복맨들이 많네

[츄럴(rhdnfka94)]

수트간지 ㅗㅜㅑ

[씨알메리(223.62)]

청바지에 티셔츠맨

[츄럴(rhdnfka94)]

잡스ㄱ?

[씨알메리(223.62)]

잡스빙의해봄

[☎2.79™(roidz)]

우앙

[츄럴(rhdnfka94)]

그나저나 ppt좀 올려주셈 대체 무슨 재미난 후로잭트를 하시는건지..

[씨알메리(223.62)]

이메일 적어놔

[츄럴(rhdnfka94)]

[e-mail]

[츄럴(rhdnfka94)]

두근두근

[64없찐(dailylog2)]

뭐임 저도 쫄라도 되여?

[씨알메리(223.62)]

나머진 부끄러워서..

[64없찐(dailylog2)]

ㅜㅜ

[씨알메리(223.62)]

츄럴아 보내줄려고 해봤는데, 이건 좀.... 피피티나 포스터만 봐서는 안된다

[씨알메리(223.62)]

설명이 졸라 피료해.... 이메일은 알았으니 나중에 스카이프로 설명해줌 ㅎㅎ

[츄럴(rhdnfka94)]

??????????

[츄럴(rhdnfka94)]

히익 스카이프..

[츄럴(rhdnfka94)]

시간이 오래 걸린다면 방학으로 미뤄야될 듯.. 지금은 좀..

[씨알메리(223.62)]

ㅇㅇ 나중에 해드림

[츄럴(rhdnfka94)]

그럼 그냥 한 줄로 요약할 수는 없나영 아님 관련 분야라도..

[씨알메리(223.62)]

관련 분야 : 오토마타, 정형검증, 모델체킹, ATL, Winning Strategy

[츄럴(rhdnfka94)]

크....

[츄럴(rhdnfka94)]

역시 방학때 봅시다

[츄럴(rhdnfka94)]

^0^

[씨알메리(223.62)]

한 줄 요약 : 모델 체커란 프로그램에 특정 프로퍼티(논리식, 검증식)에 대하여 winning strategy (witness tree)를 생성 출력 해주는 기능을 추가하였다

[씨알메리(223.62)]

그래...

[츄럴(rhdnfka94)]

소스코드나 프로그램 정적 분석 툴에 기능을 추가한 것?

[츄럴(rhdnfka94)]

그런 것? 같은디

[씨알메리(223.62)]

오... 적절한 한줄요약이군

[츄럴(rhdnfka94)]

아뭍튼 하-드코어 콤퓨타 싸이언스 쪽 같네양