GitHub - rse-verification/rse-verification.github.io: Open workshop in formal methods and generative AI for embedded software webpage · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 21 Commits
Presentations		Presentations
index.html		index.html

About

Open workshop in formal methods and generative AI for embedded software webpage

Custom properties

0 stars

3 watching

Report repository

Releases

Packages

Contributors

Languages