Skip to content
#

practical-assignment

Here are 3 public repositories matching this topic...

Language: All
Filter by language

The purpose of this course is to learn how to abstractly design behavior of a system and to analyze this behavior before the system is built. You'll learn how to precisely write down behavior and prove it. With this practical assignment you will experience how to apply the techniques.

  • Updated Sep 30, 2026
  • Nix

Add this topic to your repo

To associate your repository with the practical-assignment topic, visit your repo's landing page and select "manage topics."

Learn more