GitHub / kframework / p4-semantics
Formal Semantics of P4 in K
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/kframework%2Fp4-semantics
Stars: 18
Forks: 2
Open issues: 0
License: other
Language: P4
Size: 1.01 MB
Dependencies parsed at: Pending
Created at: over 8 years ago
Updated at: about 1 year ago
Pushed at: about 4 years ago
Last synced at: about 1 year ago
Topics: formal-semantics, interpreter, model-checking, p4, p4language, symbolic-execution, translation-validation, verification
Loading...