Flick Club LogoFlick Club Logo

A survey of verification techniques for parallel programs

Howard Barringer

Parallel Programs (Computer Programs) Verification Computer Programs
Human Resource Machine
3.8 53 votes
Remnant II
4.1 59 votes
Tales of Xillia 2
3.7 52 votes
Baba is You
4.0 162 votes
Spider-Man: Shattered Dimensions
3.6 131 votes
Dreamfall Chapters
3.9 87 votes
Titanfall
4.1 245 votes
Tales of Xillia
3.9 67 votes
Mario Kart: Super Circuit
4.1 161 votes
Wario Land 4
3.8 63 votes
WarioWare, Inc.: Mega Microgame$!
4.4 79 votes
Kirby & the Amazing Mirror
4.2 87 votes
Fire Emblem: The Sacred Stones
4.2 120 votes
Dreamfall: The Longest Journey
3.6 152 votes
The Legend of Zelda: A Link Between Worlds
4.5 627 votes
Castlevania: Portrait of Ruin
3.9 82 votes
The Longest Journey
4.4 176 votes
Zelda II: The Adventure of Link
3.3 255 votes
Steins;Gate
4.4 247 votes
Metroid Prime 2: Echoes
4.2 172 votes
Silent Hill
4.2 472 votes
Metroid Fusion
4.2 269 votes
Persona 2: Innocent Sin
3.7 68 votes
Silent Hill 2
4.5 950 votes
Silent Hill 3
4.3 351 votes
Shadow Warrior
3.7 198 votes
Chrono Cross
4.3 120 votes
The Legend of Zelda: The Minish Cap
4.4 375 votes
Shadow Warrior 2
3.8 125 votes
Guacamelee!
4.1 190 votes
The Legend of Zelda: A Link to the Past
4.8 2K votes
The Legend of Zelda: Ocarina of Time
4.6 2K votes
The Legend of Zelda: Twilight Princess
4.5 622 votes
Final Fantasy XII
4.4 286 votes
DmC: Devil May Cry
3.9 444 votes
Super Mario Bros.
4.2 2K votes
Prey
3.8 180 votes
Super Smash Bros. Brawl
4.3 521 votes
BioShock Infinite
4.5 3K votes
Microsoft Solitaire
3.8 54 votes
Dragon Ball Z: Sagas
2.4 51 votes
Animal Company
4.9 72 votes
Counter-Strike 2
3.6 161 votes
Smuta
1.0 70 votes
Balatro
4.4 87 votes
Prince of Persia: The Lost Crown
4.2 54 votes
Helldivers 2
4.2 184 votes
Super Mario Bros. Wonder
4.6 140 votes