FiniteModelChecker (nuget): A finite model checking framework for C# code
Keywords: z3|test|testing