Functional verification

#	Item
141	PDF Document Add to Reading List Source URL: guru-lang.googlecode.com Language: English - Date: 2011-04-06 12:22:59 Type theory Functional languages Logic in computer science Data types Dependent type Formal verification Functional programming Type system Haskell Software engineering Programming language theory Computing
142	PDF Document Add to Reading List Source URL: www.exida.com Language: English - Date: 2012-09-06 10:29:10 Validity Security Prevention Technology Real-time operating systems Functional Safety Safety Integrity Level Integrity Verification and validation Safety Risk Pharmaceutical industry