By: Konrad Schwarz (no.spam.delete@this.no.spam), September 18, 2007 10:21 am
Room: Moderated Discussions
Brannon (Brannon_Batson@yahoo.com) on 9/3/07 wrote:
---------------------------
>Yes, TLA was quite useful--as described in the paper David linked to. Please feel
>free to post any additional questions here and I'll respond as best I can.
So -- how well did it fare in practice/would you use it again?
TLA doesn't have an automated mapping from itself to logic circuits; did this manual step introduce many errors? [This question is coming from a safety perspective; you may know that other formal methods aim to make proveably correct software and try to eliminate these manual steps].
Regards,
Konrad
P.S.: This really is a pretty cool forum.
---------------------------
>Yes, TLA was quite useful--as described in the paper David linked to. Please feel
>free to post any additional questions here and I'll respond as best I can.
So -- how well did it fare in practice/would you use it again?
TLA doesn't have an automated mapping from itself to logic circuits; did this manual step introduce many errors? [This question is coming from a safety perspective; you may know that other formal methods aim to make proveably correct software and try to eliminate these manual steps].
Regards,
Konrad
P.S.: This really is a pretty cool forum.