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
See All
CMPSC 267 Bultan T Winter 2025 Total: 8
CMPSC 267 Bultan T Spring 2023 Total: 31
See All
9
3.4
CS160 . 6 Months 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 . 6 Months 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 . 7 Months 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 . 8 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 . 8 Years Ago

Really great CS professor! Very good at explaining complicated concepts

0 helpful 0 unhelpful
See all 9 reviews
CMPSC 263
34 / 35 Enrolled
Runtime Systems
Chandra Krintz 4.0
T R
09:00 AM - 10:50 AM
96.0% A
CMPSC 271
47 / 35 Full
Advanced Topics in Distributed Systems
Amr El Abbadi 4.3
M W
09:00 AM - 10:50 AM
75.2% A
CMPSC 291I
33 / 35 Enrolled
Special Topics in Computer Science, Applications, Visual Computing and Interaction
Preiss J A
T R
11:00 AM - 12:50 PM
94.6% 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
42 / 35 Full
Special Topics in Computer Science, Applications, General
Michael Beyeler 5.0
M W
11:00 AM - 12:50 PM
87.9% A
CMPSC 291G
34 / 44 Enrolled
Special Topics in Computer Science, Applications, Security and Cryptography
Guo W
T R
15:00 PM - 16:50 PM
75.0% A