Sign In
Sign Up
Formal Verification of Circuits
Rolf Drechsler
2000
-
/
5
0 votes
Testing
Decision Trees
Electronic Circuits
Conan Exiles
3.5
78 votes
Grim Dawn
3.9
177 votes
Kerbal Space Program
4.3
179 votes
RimWorld
3.9
233 votes
Bound By Flame
3.0
51 votes
Golf With Your Friends
3.7
89 votes
They Are Billions
3.8
58 votes
Vampyr
3.5
259 votes
Mordhau
3.9
51 votes
Katawa Shoujo
4.1
91 votes
Rust
3.7
197 votes
Prison Architect
3.9
185 votes
The Turing Test
3.7
112 votes
Sherlock Holmes: The Devil's Daughter
3.5
98 votes
Factorio
4.2
240 votes
Vampire: The Masquerade - Redemption
3.4
66 votes
Saya no Uta
4.2
75 votes
CrossCode
4.2
98 votes
Pathfinder: Kingmaker
3.8
75 votes
Supreme Commander
3.8
62 votes
Total Annihilation
4.1
60 votes
Life is Strange: True Colors
4.1
176 votes
Planet Coaster
4.1
110 votes
Plants vs. Zombies: Garden Warfare 2
3.9
94 votes
S.T.A.L.K.E.R.: Call of Pripyat
3.9
210 votes
Disco Elysium
4.6
741 votes
Gothic 3
3.5
188 votes
Arcanum: of Steamworks and Magick Obscura
4.5
118 votes
The Escapists
3.1
85 votes
Def Jam: Fight for NY
3.9
68 votes
Runaway: A Road Adventure
3.8
54 votes
Dirt Rally
4.2
138 votes
The Cat Lady
4.6
140 votes
Gunpoint
4.2
108 votes
Victoria II
3.9
57 votes
Brawlhalla
3.5
203 votes
Paladins
3.8
220 votes
Wasteland 2
3.7
87 votes
The Neverhood
4.4
101 votes
Circle of Blood
4.0
180 votes
Northgard
3.8
99 votes
Arms
3.7
74 votes
Dragon Ball FighterZ
4.3
218 votes
Elex
3.2
88 votes
Command & Conquer
4.2
300 votes
Hellgate: London
3.7
59 votes
Sunless Sea
3.8
76 votes
Pillars of Eternity
4.0
289 votes