...!

From: junkie\.dolphin\_at_libero\.it
Date: Wed Apr 13 2005 - 09:35:56 MDT

• Next message: Junkie Dolphin: "A question about bounded model checking"
• Previous message: junkie\.dolphin\_at_libero\.it: "undecipherable parse error in LTL formula"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

Sorry, I did not attach the formulae. Here them are. I also attach the source
code for the design.

--
Ciampaglia Giovanni Luca



____________________________________________________________
Navighi a 4 MEGA e i primi 3 mesi sono GRATIS. 
Scegli Libero Adsl Flat senza limiti su http://www.libero.it

• application/octet-stream attachment: formule.ltl

• application/octet-stream attachment: eseguiSegv

• application/octet-stream attachment: modulo_debug.v

• Next message: Junkie Dolphin: "A question about bounded model checking"
• Previous message: junkie\.dolphin\_at_libero\.it: "undecipherable parse error in LTL formula"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ] [ attachment ]
• Mail actions: [ respond to this message ] [ mail a new topic ]

This archive was generated by hypermail 2.1.7 : Wed Apr 13 2005 - 09:38:19 MDT