Awesome Open Source

Programming Languages

Search results for spark formal methods

formal-methods x

6 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

Formally verified, bounded-stack XML library

Framework for platform-independent SPARK components

Spark Bitcoin Transaction Example ⭐ 5

Example of Bitcoin transaction parsing with Ada/SPARK2014

Ironsides ⭐ 5

Fork of the SPARK-based DNS server

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-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

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