The Howdy Glossary

P# (Pound-Sharp) is a domain-specific programming language and engine for creating 2D puzzle games. Developed by Microsoft Research, P# offers built-in state machines, event handling patterns and probabilistic testing. The language aims to simplify the creation of reliable software through formal verification techniques that catch bugs early in the development process. P# integrates with Visual Studio using its own extension that enables developers to write game logic and specify properties about it within the same codebase, which can then be tested using different strategies including traditional unit testing as well as advanced probabilistic checking methods.