CTESK

msripv6_cs.pdf - MSR IPv6 verification (12.2000–12.2001) - Industrial project (76 KB) Alexey Demakov, 05/21/2010 04:37 pm

oktetipv6_cs.pdf - Testing of IPv6 Core (04.2002–05.2002) - Pilot project (18 KB) Alexey Demakov, 05/21/2010 04:41 pm

mobileipv6_cs.pdf - Verification of an IPv6 implementation for Windows CE 4.1 (05.2002–03.2003) - Industrial project (82.6 KB) Alexey Demakov, 05/21/2010 04:42 pm

ctesk_cs.pdf - Testing of CTesK abstract data type library (03.2003–05.2003, 09.2003–10.2003) - Industrial project (19.9 KB) Alexey Demakov, 05/21/2010 04:42 pm

tinyos_cs.pdf - TinyOS component verification (01.2004–02.2004) - Industrial project (26.7 KB) Alexey Demakov, 05/21/2010 04:43 pm