Flick Club LogoFlick Club Logo

Using formal methods to assist in the requirements analysis of the Space Shuttle GPS change request

Ben L. Di Vito

Verification Computer Programs Space Shuttles
Universal Soldier: The Return
3.0 2K votes
Apollo 11
3.9 626 votes
Gravity
3.6 16K votes
2010
3.4 917 votes
The Wandering Earth II
3.6 556 votes
Titan A.E.
3.3 2K votes
The Astronaut's Wife
2.8 899 votes
Geostorm
3.1 5K votes
Spaceman
3.4 772 votes
TRON: Legacy
3.2 8K votes
Sunshine
3.5 4K votes
2001: A Space Odyssey
4.0 12K votes
First Man
3.5 6K votes
The Net
3.0 2K votes
Return to Space
3.3 648 votes
Stowaway
3.0 512 votes
Rogue One: A Star Wars Story
3.7 16K votes
Fly Me to the Moon
3.5 545 votes
Apollo 13
3.7 6K votes
Moonraker
3.1 2K votes
Spaceballs
3.4 3K votes
High Life
2.9 2K votes
Moonfall
3.2 4K votes
Swiped
2.3 687 votes
Star Wars: The Rise of Skywalker
3.2 10K votes
BURN·E
3.8 724 votes
Rebel Moon - Part One: A Child of Fire
3.2 3K votes
Star Wars
4.1 21K votes
Rebel Moon - Part Two: The Scargiver
3.1 2K votes
Chinese Zodiac
3.1 801 votes
Space Sweepers
3.5 2K votes
Space Cowboys
3.2 2K votes
Space Pirate Captain Harlock
3.3 2K votes
Voyagers
3.0 851 votes
The Right Stuff
3.7 851 votes
Alien
4.1 15K votes
Jupiter Ascending
2.7 7K votes
The Colony
2.7 2K votes
Journey 2: The Mysterious Island
3.1 5K votes
Lockout
3.0 2K votes
Azur & Asmar: The Princes' Quest
3.9 617 votes
Cosmic Sin
2.0 539 votes
Transcendence
3.0 6K votes
Deep Impact
3.1 3K votes
The Empire Strikes Back
4.2 17K votes
Stargate
3.5 4K votes
A Turtle's Tale: Sammy's Adventures
3.0 635 votes
Pandorum
3.3 3K votes