#
-
Kyoto University
- Kyoto, Japan
- http://www.fos.kuis.kyoto-u.ac.jp/~mwaga/
- https://orcid.org/0000-0001-9360-7490
Highlights
- Pro
- All languages
- AppleScript
- Assembly
- Awk
- C
- C#
- C++
- CMake
- CSS
- Coq
- Crystal
- Dhall
- Dockerfile
- Elixir
- Emacs Lisp
- Go
- HCL
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lua
- Makefile
- Mathematica
- OCaml
- OpenQASM
- PDDL
- PHP
- Prolog
- Python
- R
- Roff
- Ruby
- Rust
- SCSS
- SMT
- Scala
- Scheme
- Shell
- Swift
- TeX
- TypeScript
- V
- Verilog
- Vue
- XSLT
- YAML
- q
- sed
Starred repositories
2
stars
written in Assembly
Clear filter
We propose in this work an approach for the verification of the AADL (Architecture and Analysis Design Language) description. This approach is based in Model Driven Engineering (MDE) and assisted by…
Second architecture of team 0