Flick Club LogoFlick Club Logo

Temporal logic in specification

Howard Barringer

Système Concurrent Spécification Symbolic And Mathematical Logic
Arkanoid
4.0 101 votes
Pokémon Colosseum
3.6 108 votes
Factorio
4.3 229 votes
Honkai: Star Rail
4.3 114 votes
Xenoblade Chronicles 2
4.4 182 votes
Killer Instinct
3.6 103 votes
Peggle
4.0 98 votes
Warcraft III: Reign of Chaos
4.5 2K votes
Fate/Grand Order
4.8 57 votes
Super Mario Strikers
3.9 82 votes
Baba is You
4.0 157 votes
Wario Land: Super Mario Land 3
4.0 113 votes
Supraland
4.2 53 votes
The Lost Vikings
3.8 76 votes
Eternal Darkness: Sanity's Requiem
4.3 85 votes
Battle City
4.1 78 votes
Street Fighter II Turbo
4.6 106 votes
Turok 2: Seeds of Evil
3.5 67 votes
Guitar Hero
4.3 100 votes
Pokémon Red Version
4.0 524 votes
Pokémon Silver Version
4.3 342 votes
Tales of Xillia 2
3.7 52 votes
Animal Crossing: Pocket Camp
3.4 52 votes
Hellblade: Senua's Sacrifice
4.2 931 votes
Super Street Fighter II: The New Challengers
4.0 57 votes
Stardew Valley
4.4 2K votes
The Sims 3
4.1 548 votes
Bubble Bobble
3.9 114 votes
The Legend of Zelda: Link's Awakening
4.2 203 votes
Psychonauts 2
4.4 152 votes
Blood
4.1 82 votes
Super Smash Bros.
4.2 396 votes
Animal Crossing: New Horizons
4.3 397 votes
Fire Emblem Heroes
3.4 81 votes
Mario Party 3
3.8 87 votes
Dungeon Siege II
4.1 78 votes
Lemmings
3.6 147 votes
Metroid II: Return of Samus
3.3 77 votes
Guitar Hero II
4.3 155 votes
Guitar Hero: Metallica
4.2 55 votes
The Legend of Zelda: The Wind Waker
4.4 864 votes
Mega Man X
4.3 256 votes
Mafia III
3.4 417 votes
Guitar Hero: Aerosmith
3.4 59 votes
Fire Emblem: The Blazing Blade
4.4 123 votes
Ninja Gaiden II
4.0 50 votes
Crysis 2
4.1 554 votes
Def Jam: Fight for NY
3.9 68 votes