Systems Made Simple | Enhancing software development practices for better security and reliability. Subject to the Creative Commons Attribution 4.0 International License.

Jul 4, 2024
The Rise of Model Checker: Verifying Blockchain Monitors In and Near Realtime
Jun 24, 2024
The Force Awakens: Hybrid Blockchain Runtime Monitors