Edward Lee's (UC Berkeley) PTIDES "model of communication" er litt tricky, med to tidslinjer. I denne oppgaven skal vi formalisere PTIDES i omskrivningslogikk. Vi skal så eventuelt "implementere" PTIDES modeller i Maude, og utvikle logiske analysemetoder for PTIDES i Maude.
Formalisere Berkeley's PTIDES Model of Computation i Maude
I denne oppgaven skal vi formalisere Edward Lee's PTIDES model of computer for cyber-physical systemer i omskrivningslogikkspråket Maude
Published Sep. 16, 2025 12:53 PM
- Last modified Sep. 16, 2025 12:53 PM