The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques.
Manhattan Project | Project Runway | Project Mercury | Human Genome Project | The Blair Witch Project | Project Gemini | Project Greenlight | Project Nike | Project Blue Book | Federal Art Project | Project Orion | Men's Recovery Project | Eden Project | World Justice Project | Wounded Warrior Project | The Octopus Project | The Alan Parsons Project | Project Xanadu | Gotan Project | German nuclear energy project | Tony Hawk's Project 8 | The Spamhaus Project | The Mindy Project | Project Pluto | Project management | project management | Project Grudge | Project Athena | Investigative Project on Terrorism | Hello! Project |