SpecForge – A Platform for Authoring Formal Specifications

Monitoring Data-Dependent Temporal Patterns

Solving LinkedIn Queens Using Haskell