Zurück zu Willert.de

How to implement Model checking CSL

Rhapsody Model or Codegeneration topics

How to implement Model checking CSL

Beitragvon stef85 » September 18th, 2013, 3:07 pm


I would like to know what the CSL (Continuous Stochastic Logic) method is for state chart machines?
Could you explain to me how the CSL method is implemented in Rhapsody?
Do you know any additional information or web links about this subject?
Is possible to implement Model cheking CSL?

Beiträge: 6
Registriert: August 26th, 2013, 11:12 am

Zurück zu Modelling with Rhapsody

Wer ist online?

Mitglieder in diesem Forum: 0 Mitglieder und 2 Gäste