Has good translation of LTL into Büchi automata and also support the linear fragment of PSL.
model | Model (person) | America's Next Top Model | Ford Model T | New Model Army | model (person) | Model United Nations | IPTC Information Interchange Model | Lockheed Model 10 Electra | Standard Model | Model (profession) | Elite Model Management | RGB color model | Model Engineering College | Fetish model | business model | Beechcraft Model 18 | Scale model | Nice model | New Model Army (band) | Model Railroader | model (profession) | Lisette Model | Document Object Model | Component Object Model | Asia's Next Top Model | America's Most Smartest Model | Walter Model | Trump Model Management | scale model |
The SLAM project, which was started by Microsoft Research, aimed at verifying some software safety properties using model checking techniques.