Flick Club LogoFlick Club Logo

A survey of verification techniques for parallel programs

Howard Barringer

Parallel Programs (Computer Programs) Verification Computer Programs
Game Shakers
3.7 114 votes
Mickey Mouse
3.6 199 votes
Quantum Leap
3.6 130 votes
The IT Crowd
4.1 2K votes
Freakazoid!
3.9 160 votes
Counterpart
3.7 338 votes
Halt and Catch Fire
4.0 467 votes
Inside Bill's Brain: Decoding Bill Gates
3.6 109 votes
Silicon Valley
4.1 2K votes
From the Earth to the Moon
4.1 101 votes
Intelligence
3.3 203 votes
Zootopia+
3.6 202 votes
Digimon Frontier
4.0 139 votes
Digimon Data Squad
3.9 104 votes
Lexx
3.5 116 votes
Space Force
3.3 678 votes
Digimon Tamers
4.3 335 votes
Heaven's Lost Property
3.9 131 votes
Stargate SG-1
4.1 2K votes
Chuck
3.9 996 votes
The Tatami Galaxy
4.2 107 votes
Digimon Adventure:
3.8 609 votes
Heartland
4.1 553 votes
Sliders
3.8 426 votes
In Another World with My Smartphone
3.6 101 votes
Mickey Mouse Clubhouse
3.4 343 votes
Memories of the Alhambra
3.8 102 votes
Fast & Furious Spy Racers
3.5 3K votes
Bakugan Battle Brawlers
4.2 361 votes
Digimon: Digital Monsters
4.0 823 votes
Bleach
4.2 2K votes
Terra Nova
3.4 756 votes
Re:ZERO -Starting Life in Another World-
3.9 448 votes
Dragons: Race to the Edge
4.2 362 votes
The Equalizer
3.8 265 votes
Cross Ange: Rondo of Angels and Dragons
4.2 114 votes
Ghost in the Shell: Stand Alone Complex
4.1 365 votes
Devil May Cry
3.8 181 votes
Bodies
3.6 343 votes
Ben 10: Omniverse
4.1 458 votes
His Dark Materials
4.0 2K votes
Saga of Tanya the Evil
4.2 346 votes
Amphibia
4.3 275 votes
The King: Eternal Monarch
4.2 834 votes
KONOSUBA - God's blessing on this wonderful world!
4.3 2K votes
Serial Experiments Lain
4.1 512 votes
Maniac
3.7 814 votes
The Langoliers
3.2 539 votes