santoslab/AADL-HSM santoslab/AADL-HSM

  • Stars
    star
    1
  • Language Isabelle
  • Created over 1 year ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
santoslab/AADL-HSM
github

santoslab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal semantics of AADL (as implemented by HAMR) in the Isabelle theorem prover

More Repositories

1

aadl-translator

HTML
5
star
2

hamr-examples

Scala
1
star
3

case-uav-phase2

Copy of phase 2 model from loonwerks repo that adds code metrics to the readme
C
1
star
4

aadl-map-apps

1
star
5

has-pca

1
star
6

iccps20-case-studies

Scala
1
star
7

rts-showcase

C
1
star
8

embedded-examples

C
1
star
9

gh-pages-robby

HTML
1
star
10

sysmlv2-models

1
star