AADL

MaRDI QIDQ32649swMATHFDO

Official website http://maude.cs.illinois.edu/tools/synchaadl/

Cited in

(8)

• Timed CTL model checking in Real-Time Maude
• Hybrid multirate PALS
• Formal modelling and verification of GALS systems using GRL and CADP
• InvA
• Polychrony
• SynchAADL2Maude
• TSMV
• GRL

This page was built for software: AADL