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
Ascension
3.4 295 votes
Challenger: The Final Flight
3.5 127 votes
Space Force
3.3 678 votes
Another Life
3.0 382 votes
From the Earth to the Moon
4.1 101 votes
Stargate SG-1
4.1 2K votes
Fast & Furious Spy Racers
3.5 3K votes
Game Shakers
3.7 114 votes
Away
3.4 315 votes
Mickey Mouse
3.6 199 votes
The Silent Sea
3.8 600 votes
Star Trek
3.4 128 votes
Treason
3.4 187 votes
Quantum Leap
3.6 130 votes
Space Cobra
4.2 198 votes
Firefly
4.2 3K votes
The Orville
3.8 2K votes
Star Wars: Clone Wars
3.9 400 votes
Stargate Origins
2.5 138 votes
The Expanse
4.0 3K votes
The IT Crowd
4.1 2K votes
Running Man
4.2 176 votes
Last Week Tonight with John Oliver
4.0 660 votes
Cosmos: A Personal Voyage
4.3 354 votes
The Universe
3.9 166 votes
Freakazoid!
3.9 160 votes
Crusade
3.3 100 votes
The Ark
3.2 112 votes
Star Trek: Enterprise
3.8 788 votes
Star Trek
4.0 2K votes
Dark Matter
3.3 759 votes
Battlestar Galactica
3.5 235 votes
Star Wars Rebels
3.9 837 votes
Star Wars Resistance
3.2 134 votes
Star Trek: Strange New Worlds
4.1 547 votes
Invasion
3.6 950 votes
Codename: Kids Next Door
4.1 716 votes
PAW Patrol
3.5 733 votes
Battlestar Galactica: Blood & Chrome
3.3 171 votes
Babylon 5
4.0 503 votes
Star Trek: Picard
3.6 2K votes
Star Trek: Voyager
3.9 920 votes
Halt and Catch Fire
4.0 467 votes
Silicon Valley
4.1 2K votes
Inside Bill's Brain: Decoding Bill Gates
3.6 109 votes
Star Trek: The Next Generation
4.2 2K votes
Battlestar Galactica
4.1 2K votes
The Head
3.6 146 votes