A formal model of a clock calculus for Lingua Franca in Isabelle/HOL.
- Index of the library
- Outline (proofs are hidden)
- Complete document
- Online rendering of the theory
- Isabelle proof document
Frédéric Boulanger [email protected]
-
Notifications
You must be signed in to change notification settings - Fork 0
Frederic-Boulanger-UPS/Clocks
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
A formal model of clocks in Isabelle/HOL
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published