Awesome Open Source

Programming Languages

Search results for spark formal verification

formal-verification x

9 search results found

Spark By Example ⭐ 108

SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada

Recordflux ⭐ 100

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

Libsparkcrypto ⭐ 22

A cryptographic library in SPARK 2014

A cryptographic framework, proven for correctness in SPARK

Formally verified, bounded-stack XML library

SPARK Proof Analysis Tool

Framework for platform-independent SPARK components

Collection of formally verified building blocks

Spark Bitcoin Transaction Example ⭐ 5

Example of Bitcoin transaction parsing with Ada/SPARK2014

Related Searches

Scala Spark (3,279)

Python Spark (2,053)

Java Spark (1,587)

Apache Spark (1,207)

Spark Hadoop (1,188)

Jupyter Notebook Spark (1,151)

Spark Kafka (985)

Spark Streaming (817)

Spark Pyspark (812)

Algorithms Spark (210)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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