[{"id":129,"name":"Dafny","slug":"dafny","description":"Dafny is a programming language that is designed to support the formal verification of programs. It is mainly used for developing correct and reliable software systems.","execution_mechanism":"compiled","logo_svg":null,"repo_url":null,"website_url":null,"wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Dafny","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:02:52","github_repo_count":256,"paradigms":"8,10,81","typings":null,"oses":null},{"id":451,"name":"Praspel","slug":"praspel","description":"Praspel is a formal specification language for defining properties and constraints in software testing. It is used for generating test data and verifying software code.","execution_mechanism":"other","logo_svg":null,"repo_url":null,"website_url":"http:\/\/hoa-project.net","wikipedia_url":"https:\/\/en.wikipedia.org\/wiki\/Praspel","appeared_on":null,"latest_release_date":null,"latest_release_version":null,"created_on":"2023-08-22 15:03:38","github_repo_count":null,"paradigms":"81","typings":null,"oses":null}]