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
2.9
6 reviews

Lecture

PHELP2510
M W
13:00 PM - 14:50 PM
16 / 35
See All
CMPSC 267 Bultan T Spring 2023 Total: 31
CMPSC 267 Bultan T Winter 2017 Total: 7
6
2.9
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
CMPSC16 . 8 Years Ago

The weekly individual programming assignments are absolutely killer. Half the time the TAs had no idea how to help you so you were on your own. They were extremely time consuming so I suggest you start immediately. Tests were fairly easy but he promised to curve the class at the end and he did not, so don't expect any curve.

0 helpful 0 unhelpful
CMPSC16 . 8 Years Ago

Decent teacher but much room for improvement. Lectures can feel confusing and drawn out. Half the homework was graded by a buggy and unreliable website.

0 helpful 0 unhelpful
CMPSC16 . 8 Years Ago

Bultan is a very wise and experienced computer programmer who is unfit at teaching a lower division computer science class. His expertise better suits upper division CS classes with students who are pursuing the major. He is a friendly, approachable guy, but he just wasn't the best at teaching CS 16. Expect three killer group programs.

2 helpful 2 unhelpful
CMPSC 263
38 / 35 Full
Runtime Systems
Chandra Krintz 4.0
T R
09:00 AM - 10:50 AM
95.8% A
CMPSC 271
35 / 35 Full
Advanced Topics in Distributed Systems
Amr El Abbadi 4.3
M W
09:00 AM - 10:50 AM
74.8% A
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 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 291I
30 / 35 Enrolled
Special Topics in Computer Science, Applications, Visual Computing and Interaction
Preiss J A
T R
11:00 AM - 12:50 PM
97.3% 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