Covers automated verification algorithms and tools. Topics include: temporal logics, fixpoint characterizations of temporal properties, model checking, symbolic verification, explicit-state verification, verification using automated theorem provers, automated abstraction.

Prerequisites: Computer Science 130A-B and 138.

4

Units

Letter

Grading

1, 2, 3

Passtime

None

Level Limit

Engineering

College
These majors only cmpsc
Tevfik Bultan
3.4
9 reviews

Lecture

PHELP2510
M W
13:00 PM - 14:50 PM
14 / 35
See All
CMPSC 267 Bultan T Spring 2023 Total: 31
CMPSC 267 Bultan T Winter 2017 Total: 7
See All
9
3.4
CS160 . 10 Days Ago

deserves much higher ratings. He makes difficult stuff so graspable and easy to understand. Kruegel guest taught 1 lecture & made the stuff sound like a foreign language. The lecture slides are crazy detailed, great to study from, and he's funny. Ask questions in lecture and DON'T PROCRASTINATE ON PROJECTS. 160 is hard, be focused. prof b da 🐐

0 helpful 0 unhelpful
CS160 . 11 Days Ago

I loved CS160 and Bultan was a caring, passionate, and knowledgeable instructor. However, you need to bring your A game to the lectures. Really pay attention and ask more questions than you're used to asking. He goes fast and sometimes gets lost or confused. If you don't develop deep understanding, the homework will punish you for it.

1 helpful 0 unhelpful
CS160 . 17 Days Ago

He must've changed a lot bc the other reviews arent accurate. You can tell he puts a lot of effort into teaching the course. EXTREMELY detailed lecture slides, thorough ELI5 & generous w late hw. Kruegel is bad at explaining and Ben H had impossible projects, so def take 160 with Bultan if you can. 160 is hard in general but he's great at teaching.

1 helpful 0 unhelpful
CS160 . 7 Years Ago

Lectures are boring & not related to homework. Class content is all over the place and not very useful to be honest. Thankfully, course is not required anymore.

0 helpful 1 unhelpful
CS160 . 7 Years Ago

The material is quite difficult and he expects us to apply it fully in tests, despite not covering applying it during lecture. Lectures are too theoretical compared to the tests. Homework assignments are a bit messy, but not too bad.

0 helpful 0 unhelpful
CMPSC24 . 7 Years Ago

Really great CS professor! Very good at explaining complicated concepts

0 helpful 0 unhelpful
See all 9 reviews
CMPSC 263
35 / 35 Full
Runtime Systems
Chandra Krintz 4.0
T R
09:00 AM - 10:50 AM
95.8% A
CMPSC 271
40 / 40 Full
Advanced Topics in Distributed Systems
Amr El Abbadi 4.3
M W
09:00 AM - 10:50 AM
74.8% A
CMPSC 291H
0 / 25 Enrolled
Special Topics in Computer Science, Applications, Computational Science and Engineering
Niu M Y
T R
17:00 PM - 18:15 PM
CMPSC 291A
40 / 35 Full
Special Topics in Computer Science, Applications, General
Michael Beyeler 5.0
M W
11:00 AM - 12:50 PM
89.7% A
CMPSC 291G
35 / 35 Full
Special Topics in Computer Science, Applications, Security and Cryptography
Guo W
T R
15:00 PM - 16:50 PM
CMPSC 291I
35 / 35 Full
Special Topics in Computer Science, Applications, Visual Computing and Interaction
Preiss J A
T R
11:00 AM - 12:50 PM
97.3% A