Fwd: Seminar cua GS Deepak Kapur
7 views
Skip to first unread message
VI TRUONG NHU
Mar 8, 2017, 8:36:12 PM3/8/17
to cao-hoc-khm...@googlegroups.com, mcsb...@googlegroups.com, Truong An Lam, Cuong Vinh, Phạm Hoàng Duy Đức, minhhoangskn, Hoang Nguyen, Anh Huy Nguyen, Huy Vo, Khánh Trần, Minh Nguyễn, Nhat Nguyen, Phan Thanh Nhuan, Phong Bui, Quan Nguyen, Quan Trinh Bao, Quốc Hoàng Nguyễn Anh, Nguyên Thành Võ, Thuận Trần, Tiến Nguyễn Ngọc, Tien Nguyen Van, Toan Nguyen, Nguyễn Xuân Trãi, Triết Nguyễn, HOANG TUAN NGUYEN DANG, Tung Luu, Văn Lê Huy, Hải Hồ Quang, Tuấn Anh Lâm, anh nguyen, Dung Ngo, Bình Dương Thái, Duy Huynh Anh, Dai Lam Van, Le Nguyen Truong Giang, Văn Hiễn Nguyễn, Quach Dinh Hoang, Hung Diep, Hữu Đặng, Huy Dinh, Trần Vinh Khải, Khánh Lê Nguyên, Phạm Khuê, Kien Nguyen Van, Châu Kỳ Nguyễn, Lanh Nguyen Kim, Linh Nguyen Van, Huu Loc, Loi Truong, Luân Nguyên, Lê Quốc Nam, Nghi Phan, Nguyễn Ngọc Phiên, Phuong Nguyen, Nguyễn Thành Phương, lim dim, Quyết Lưu, Son Ha Xuan, hoang son, Tam Thai, Thai Thanh, Thái Nguyễn, Cao Tan Thanh, Thinh Hoàng, tien nguyen viet, Trà Đá Vỉa Hè, Trang Đào, Tri PhamThanh, Tuấn Minh, Nhật-Tuấn Trần, Super Bo, Tuan Anh Ho Dien, Cong Nguyen, Minh Đức, Hữu Hiệu Đoàn, dang hung, Ibadulla Yuldashev, Kien Ha, Võ Thành Long, Đặng Thế Hoài Nam, Cong Nga Le, Phong Do Duy, Phước Nguyễn, thangle...@gmail.com, Thanh Nguyen, Nguyễn Ngọc Thành, Tri Pham, Vominh Tri, Quoc Trung Le, Vinh Nguyễn Thành, Vinh Truong, vanan...@gmail.com, An Võ, Minh Bằng, Bi Nguyễn Thanh, Hoàng Văn Công, Lê Công, Thành Duy Nguyễn, caoo...@gmail.com, da...@hcmut.edu.vn, Đức Lê Tự, Hải Nguyễn Đức, Hải Nguyễn Như, phuh...@hotmail.com, hien doan phuc, hie...@yahoo.com, Hieu Le Trung, Chấn Hưng Nguyễn, Huwng nguyễn Minh, Hùng Vũ Đức, Huy Trần Nguyễn Bính Đức, hyngu...@gmail.com, Anh Khoa Nguyễn, Kiet nguyen tan, Quàng Lân Huỳnh, Lộc Đinh, Luu Do Ngoc, Chung Thanh Minh, Huynam Tangoc, Nghĩa Trương Thanh, nguyent...@tdt.edu.vn, dmn...@hotmail.com, Thanh Nhien Nguyen, Đông Phú Đỗ, Phương Phan, Sơn Nguyễn Danh, Son Pham Trung, Tai Tran Huu, Cao Duy Thanh, thanh...@gmail.com, Đức Thịnh Ngô, Tin Nguyen, ngduct...@gmail.com, Quang Trường Trần, ncs_c...@googlegroups.com
Kính gửi anh/chị nghiên cứu sinh, anh/chị học viên!
Mời các anh/chị có quan tâm tham dự một buổi seminar của GS Deepak Kapur với thông tin như bên dưới.
Thời gian: 14h30 ngày Thứ Ba 14/03
Địa điểm: Phòng chuyên đề Khoa
Trân trọng,
Như Vi
======
When is a formula program invariant?
Deepak Kapur
Distinguished Professor of Computer Science
Univ. of New Mexico
Albuquerque, NM USA
Program invariants play an important useful role in understanding programs as well as verifying properties about them. There are many ways to obtain program invariants--automatically, semi-automatically or they could be provided by a programmer as a part of a specification of the program or as annotations.
The problem of determining whether a proposed formula is an invariant is undecidable. In this talk, methods are proposed to determine when in certain cases, formulas expressed in various logical theories can be determined to be invariant. If a formula is indeed an invariant, a saturation based procedure for strengthening the formula to generate inductive invariants are explored. This approach is contrasted with property directed reachability approach toward for program analysis.
Reply all
Reply to author
Forward
0 new messages