From: rrr.eee.27@gmail.com
Subject: Re: References on encoding (Hierarchical) State Machines / Automata in Ada?
Date: Wed, 13 Feb 2013 08:02:23 -0800 (PST)
Date: 2013-02-13T08:02:23-08:00 [thread overview]
Message-ID: <57e121fc-4f07-4654-a908-edab89d422bd@googlegroups.com> (raw)
In-Reply-To: <f08d034b-33b1-4c19-b16c-b1183ce9f448@googlegroups.com>
I recommend looking at "Rhapsody in Ada", now by IBM, formerly iLogix. I used it around 2004. AFAIK it is still available.
"Rhapsody in Ada" is a UML tool very strong in (hierarchical) state machines. There are external add-ons (provers) for almost everything you can prove in a state machine.
I did not consider the generated Ada code as very efficient, though (don't rember why).
HTH
R
next prev parent reply other threads:[~2013-02-13 16:02 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2013-01-21 10:42 References on encoding (Hierarchical) State Machines / Automata in Ada? david.mentre
2013-02-13 15:30 ` Eryndlia Mavourneen
2013-02-13 16:02 ` rrr.eee.27 [this message]
2013-02-13 18:05 ` Simon Wright
2013-02-13 20:25 ` Jeffrey Carter
2013-02-13 22:28 ` Simon Wright
2013-02-14 8:34 ` Dmitry A. Kazakov
2013-02-14 0:00 ` jpwoodruff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox