Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub / kframework / p4-semantics

Formal Semantics of P4 in K

JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kframework%2Fp4-semantics

Stars: 18
Forks: 2
Open Issues: 0

License: other
Language: P4
Repo Size: 1.01 MB
Dependencies: 0

Created: over 7 years ago
Updated: 3 months ago
Last pushed: about 3 years ago
Last synced: about 2 months ago

Topics: formal-semantics, interpreter, model-checking, p4, p4language, symbolic-execution, translation-validation, verification

Files

Loading...

Readme

Loading...

No dependencies found