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
LittleBigPlanet
4.4
253 votes
2048
3.6
50 votes
Human Resource Machine
3.8
53 votes
Pokémon Pearl Version
4.1
189 votes
Pokémon Ruby Version
4.1
308 votes
Baba is You
4.0
157 votes
Doom
4.1
916 votes
Ape Out
4.0
103 votes
Persona 4 Arena
4.0
51 votes
Arkanoid
4.0
101 votes
Stick Fight: The Game
3.7
89 votes
TagPro
4.2
178 votes
Animal Crossing: Pocket Camp
3.4
52 votes
Pokémon Diamond Version
4.1
288 votes
Marvel vs. Capcom: Clash of Super Heroes
4.3
100 votes
No Man's Sky
3.6
507 votes
Viewfinder
4.2
55 votes
Cities: Skylines
3.9
582 votes
Noita
4.0
70 votes
Tales of Monkey Island
3.9
71 votes
Pokémon Colosseum
3.6
108 votes
Marble Madness
3.5
64 votes
Dead Island 2
3.6
65 votes
Kirby Air Ride
3.8
67 votes
The Neverhood
4.4
101 votes
Guitar Hero: Metallica
4.2
55 votes
Pyre
4.2
140 votes
Among Us
3.8
404 votes
Super Hexagon
4.1
122 votes
Spider-Man
3.5
133 votes
Furi
3.9
188 votes
Honkai: Star Rail
4.3
114 votes
Xenoblade Chronicles 2
4.4
183 votes
Cut the Rope
3.9
69 votes
Guitar Hero World Tour
3.9
115 votes
Into the Breach
4.3
246 votes
Guitar Hero: Aerosmith
3.4
59 votes
Pokémon Moon
4.0
220 votes
Killer Instinct
3.6
103 votes
Hellblade: Senua's Sacrifice
4.2
932 votes
Carmageddon
4.0
155 votes
Guitar Hero 5
3.8
70 votes
Peggle
4.0
98 votes
Warcraft III: Reign of Chaos
4.5
2K votes
The Walking Dead: The Final Season
3.7
197 votes
Psychonauts 2
4.4
152 votes
Sly Cooper and the Thievius Raccoonus
4.0
153 votes
Pokémon Y
4.3
275 votes