Re: Planning & therorem provers & FSMs

From: tmp123 (tmp123_at_menta.net)
Date: 01/25/05 

Date: 25 Jan 2005 08:46:13 -0800

Last2Know wrote:
>
> you will want to look at the large literature on program/code
> synthesis from statecharts. .

After "google" a few for "statecharts", it seems that it is an excelent
starting point, better than my previous tries using "FSM" or similars.
Now, it is my work to see its intersection with "theorem provers" or
"eclipse" or "blackbox".

Thanks a lot for the sugestion.

Loading