CS190I:程序综合 源码

面向大众的CS190I程序综合 本课程的目的是介绍程序综合,这是编程语言,软件工程和AI交汇处的一个新领域。 本课程将探讨有关如何自动发现符合用户期望的程序的问题的一些基本问题。 特别是,我们将在针对智能合约的攻击综合中探索程序综合,并为数据可视化和数据整理提供示例程序。 工作量包括3个编程任务,4个纸质审稿和最终项目的张贴会议。 办公时间 指导老师:于峰(yufeng @ UCSBCS) TA:陈艳菊(yanju @ UCSBCS) 班级:M,Wed,9:15 am,Zoom 讲师的办公时间:周五,上午9点至上午10点 电讯局长的办公时间:待定 松弛: : 日期 话题 滑梯 读 出去 到期的 3/29 欢迎与课程概述 3/31 求解器辅助合成I(Rosette) 4/5 求解器辅助合成I(Neo) R1 1号 4/7 SMT和CFG简介 R2 4/12