AADL

swMATH20835MaRDI QIDQ32649FDOQ32649

Author name not available (Why is that?)

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