Searching for "Improved On-the-fly Verification with Testers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Automata-theoretic and bounded model checking for linear temporal logic
by Abteknillinen Korkeakoulu, Universite De, Timo Latvala, Timo Latvala, Tietotekniikan Osasto, C Timo Latvala, Multiprint Oy — 2005
…3] Timo Latvala and Heikki Tauriainen. Improved on-the-fly verification with testers. Nordic Journal…
Cited by 1 (0 self) – Add To MetaCart

Verification — Formal Methods
by Timo Latvala
…Nordic Journal of Computing IMPROVED ON-THE-FLY VERIFICATION WITH TESTERS TIMO LATVALA HEIKKI…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB