实习记
凛冬天明
这个作者很懒,什么都没留下…
展开
-
中科院软件所实习 DAY1
DAY1 早上7:36到达中国科学院软件所,与导师约定在9点来,我可是怕自己找不到路,就提前来了。 来了就先跟导师聊几句,之后导师带着我看看 计算机科学国家重点实验室 实验室的氛围很不错,大家都在忙自己的事,不愧是中科院的研究所! 导师人很好,但是好像很忙的样子,不过虽然他很忙,还是带我去做实习生的登记,去看工位,实验室的领导真的很严格,完全按照登记表上的要求走,...原创 2018-07-12 18:01:28 · 4594 阅读 · 2 评论 -
Dafny学习
Dafny Dafny: A Language and Program Verifier for Functional Correctness Dafny是用来更好的写出正确代码的语言 最简单的方法是在 这里 在线的进行程序验证 下边看几个例子简单的验证method Add(x:int,y:int) returns (r:int) requir...原创 2018-07-12 18:11:01 · 3335 阅读 · 0 评论