Usable Formal Methods Research Group (ufmrg)
Document | Date | Status | IPR | AD/Shepherd | |
---|---|---|---|---|---|
Related Internet-Drafts and RFCs (2 hits) | |||||
9 pages
draft-mt-ufmrg-teep-sample-01
A Usable Formal Methods Sample Problem from TEEP |
2023-11-05
Expires soon |
I-D Exists |
|
||
48 pages
draft-petithuguenin-ufmrg-formal-sexpr-01
A Formalization of Symbolic Expressions |
2024-04-29
New
|
I-D Exists |
|