Flick Club LogoFlick Club Logo

Experiences using lightweight formal methods for requirements modeling

S. M. Easterbrook

Fault Detection Computer Aided Design Software Engineering
AI: The Somnium Files
4.3 98 votes
Arkanoid
4.0 101 votes
Ghost Trick: Phantom Detective
3.5 98 votes
Phasmophobia
3.4 122 votes
Judgment
4.1 93 votes
Peggle
4.0 98 votes
Warcraft III: Reign of Chaos
4.5 2K votes
Blade Runner
4.3 68 votes
Ace Attorney Investigations: Miles Edgeworth
3.9 72 votes
Kona
3.7 56 votes
Alan Wake II
4.5 163 votes
Sherlock Holmes: The Devil's Daughter
3.5 98 votes
Still Life
3.6 75 votes
Broken Sword: The Sleeping Dragon
3.3 75 votes
Broken Sword: The Smoking Mirror
4.2 148 votes
Battle City
4.1 78 votes
The Forgotten City
4.3 126 votes
Phoenix Wright: Ace Attorney - Spirit of Justice
4.1 62 votes
Return of the Obra Dinn
4.6 350 votes
Alone in the Dark
2.6 80 votes
Professor Layton and the Last Specter
4.0 60 votes
Animal Crossing: Pocket Camp
3.4 53 votes
Batman: Arkham Asylum
4.4 3K votes
Hellblade: Senua's Sacrifice
4.2 942 votes
Persona 4 Arena
4.0 51 votes
Stardew Valley
4.4 2K votes
The Sims 3
4.1 559 votes
Circle of Blood
4.0 180 votes
Bubble Bobble
3.9 115 votes
Batman: Arkham City
4.5 3K votes
Animal Crossing: New Horizons
4.3 405 votes
The Last Guardian
4.1 303 votes
Lemmings
3.6 147 votes
Phoenix Wright: Ace Attorney - Dual Destinies
3.9 86 votes
Titanfall
4.1 245 votes
Ninja Gaiden
3.9 118 votes
Blackwell Unbound
3.9 51 votes
Sherlock Holmes: Crimes & Punishments
3.9 162 votes
Thumper
4.0 96 votes
Danganronpa 2: Goodbye Despair
4.2 234 votes
Gemini Rue
3.7 76 votes
The Blackwell Legacy
3.8 62 votes
Professor Layton and the Diabolical Box
4.1 95 votes
Mad Max
3.7 489 votes
Digimon Story: Cyber Sleuth
4.0 59 votes
Condemned: Criminal Origins
3.9 159 votes
Professor Layton and the Curious Village
4.2 171 votes
Batman: Arkham Origins Blackgate
3.6 52 votes