Vilen Looga
Research Assistant, Bachelor of Science in Technology
| Street Address: | Konemiehentie 2, Otaniemi, Espoo |
| Office: | Room B333 |
| Email: | vlooga tkk.fi |
Software
ltl2fa - ltl2fa is a tool that takes a LTL formula and outputs SPIN or DVE code generated by scheck tool. Modified xspin tool to that uses ltl2fa for neverclaim code generation and modified scheck tool are also provided.
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 22 August 2008.