Sign In
Sign Up
Verification, Model Checking, and Abstract Interpretation
Andreas Podelski
Kedar S. Namjoshi
-
/
5
0 votes
Formal Verification
Deductive Methods
Programming - Software Development
The IT Crowd
4.1
2K votes
Welcome to the N.H.K.
4.3
126 votes
Clarence
4.0
261 votes
The Universe
4.0
165 votes
America's Next Top Model
2.6
123 votes
The Curse of Oak Island
3.8
136 votes
Game Shakers
3.7
114 votes
The Witcher: Blood Origin
3.4
658 votes
Mickey Mouse
3.7
199 votes
The Consultant
3.4
164 votes
Ascension
3.3
295 votes
Quantum Leap
3.6
130 votes
Freakazoid!
3.9
160 votes
Mythic Quest
3.7
324 votes
The Equalizer
3.8
262 votes
NOVA
3.4
114 votes
The Graham Norton Show
3.6
250 votes
Halt and Catch Fire
4.0
467 votes
Silicon Valley
4.1
2K votes
Inside Bill's Brain: Decoding Bill Gates
3.7
109 votes
Star Wars: The Clone Wars
4.2
2K votes
Chosen
3.1
102 votes
From the Earth to the Moon
4.1
101 votes
Intelligence
3.3
203 votes
Zootopia+
3.6
200 votes
Burn Notice
3.7
483 votes
My Holo Love
4.3
837 votes
ER
3.9
809 votes
Alien Worlds
3.4
231 votes
Sex, Explained
3.3
2K votes
Shōgun
4.3
2K votes
Moonlighting
3.8
330 votes
The Boys
4.2
11K votes
Alba
3.5
177 votes
Ned's Declassified School Survival Guide
4.3
951 votes
Better Than Us
3.7
377 votes
Silo
4.1
933 votes
Switched at Birth
3.8
197 votes
Katy Keene
4.1
270 votes
Hacks
3.8
195 votes
Space Force
3.3
672 votes
Three-Body
3.9
207 votes
Nuremberg
3.8
110 votes
Halston
3.5
115 votes
Explained
3.7
105 votes
Citadel
3.5
385 votes
Attila
3.1
116 votes
Stargate SG-1
4.1
2K votes