Awesome Open Source

Programming Languages

Search results for formal methods software verification

formal-methods x

software-verification x

3 search results found

Read-only mirror of the Klever Git repository

Plt Formal Methods Resources ⭐ 7

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

Oxid Light ⭐ 6

Prototype functional programming language with refinement types, powered by Inox

Related Searches

Python Formal Methods (27)

Coq Formal Methods (14)

Scala Formal Methods (7)

Language Formal Methods (6)

C Software Verification (5)

Llvm Software Verification (4)

Static Analysis Software Verification (4)

Functional Programming Formal Methods (4)

Java Software Verification (3)

Benchmark Software Verification (3)

1-3 of 3 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.