🦏
Personal Dimensions
🇳🇱
Posts
Tags
Categories
🦏
Personal Dimensions
🇳🇱
Posts
Tags
Categories
Formal Verification
2024
Dezyne: Directly Connected Glue
06-30
Dezyne: Implementing and Testing Components
04-28
Dezyne: Creating Glue Code and Testing
03-07
Dezyne: From dzn.async via Defer to Async
01-08
2023
Dezyne 2.18: Implicit Interface Constraints and Shared Interface State
12-19