Sign In
Sign Up
Model Checking Software
Alastair Donaldson
-
/
5
0 votes
Software Engineering
Programming Languages
Computer Software
Universal Soldier: The Return
3.0
2K votes
TRON: Legacy
3.2
8K votes
Tron
3.3
3K votes
S1m0ne
3.0
885 votes
The Wandering Earth II
3.6
546 votes
The Thirteenth Floor
3.5
2K votes
Stealth
2.7
2K votes
Splice
2.9
3K votes
Hellraiser: Bloodline
2.6
512 votes
The Zero Theorem
3.0
2K votes
Summer Wars
3.7
913 votes
2010
3.3
911 votes
Anon
3.0
2K votes
Prospect
3.1
811 votes
Freaks
3.4
2K votes
IO
2.5
2K votes
JUNG_E
3.1
587 votes
District 9
3.7
10K votes
Judge Dredd
2.9
3K votes
The Matrix
4.1
26K votes
Oxygen
3.3
2K votes
Transcendence
3.0
6K votes
Nineteen Eighty-Four
3.4
2K votes
Deep Blue Sea
3.0
3K votes
The Animatrix
3.6
2K votes
Arrival
3.8
18K votes
Primer
3.4
3K votes
The Cabbage Soup
3.2
846 votes
Downsizing
2.7
4K votes
Choose or Die
2.7
772 votes
Godzilla vs. Kong
3.8
10K votes
Johnny Mnemonic
2.9
2K votes
Virtuosity
2.7
524 votes
WarGames
3.5
2K votes
Jurassic World Dominion
3.4
6K votes
Evolution
3.0
3K votes
Close Encounters of the Third Kind
3.7
5K votes
Time Lapse
3.3
2K votes
THX 1138
3.2
929 votes
Her
3.9
15K votes
Eternals
3.4
9K votes
The Martian
3.8
20K votes
Alien: Covenant
3.1
9K votes
The Matrix Resurrections
3.2
6K votes
A Quiet Place
3.7
14K votes
Bliss
2.8
599 votes
The Hitchhiker's Guide to the Galaxy
3.3
4K votes
Alien Resurrection
3.1
5K votes