Case Studies
User documentation
05/21/2010
Files
| msripv6_cs.pdf (76 KB) msripv6_cs.pdf | MSR IPv6 verification (12.2000–12.2001) - Industrial project | Alexey Demakov, 05/21/2010 04:37 PM | |
| oktetipv6_cs.pdf (18 KB) oktetipv6_cs.pdf | Testing of IPv6 Core (04.2002–05.2002) - Pilot project | Alexey Demakov, 05/21/2010 04:41 PM | |
| mobileipv6_cs.pdf (82.6 KB) mobileipv6_cs.pdf | Verification of an IPv6 implementation for Windows CE 4.1 (05.2002–03.2003) - Industrial project | Alexey Demakov, 05/21/2010 04:42 PM | |
| ctesk_cs.pdf (19.9 KB) ctesk_cs.pdf | Testing of CTesK abstract data type library (03.2003–05.2003, 09.2003–10.2003) - Industrial project | Alexey Demakov, 05/21/2010 04:42 PM | |
| tinyos_cs.pdf (26.7 KB) tinyos_cs.pdf | TinyOS component verification (01.2004–02.2004) - Industrial project | Alexey Demakov, 05/21/2010 04:43 PM |