Search results

Create the page "Computer-Aided Verification" on this wiki! See also the search results found.

• EPOS 2008
  - Validation and verification strategies (e.g. stylized facts, statistical signatures, validation with st
  4 KB (523 words) - 23:23, 14 October 2008
• FDL 2008
  | Title = Forum on Specification, Verification & Design Languages
  532 bytes (59 words) - 23:23, 14 October 2008
• LICS 2008
  ...out security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quant
  2 KB (285 words) - 15:11, 7 November 2016
• NEWCAS-TAISA 2009
  * Test and verification
  3 KB (377 words) - 23:24, 14 October 2008
• DATICS 2009
  * embedded system hardware/software co-design and co-verification ...rmal methods: equivalence checking, CSP applications and transaction-level verification
  9 KB (1,181 words) - 00:37, 15 October 2008
• MNRC 2008
  * Test, Verification, and Reliability
  2 KB (228 words) - 23:24, 14 October 2008
• MWSCAS 2008
  * CS8: Verification
  3 KB (364 words) - 23:24, 14 October 2008
• MWCAS 2008
  * CS8: Verification
  2 KB (187 words) - 23:24, 14 October 2008
• SAMOS 2008
  * System-Level Design, Simulation, and Verification
  2 KB (275 words) - 23:24, 14 October 2008
• NEWCAS 2008
  * Test and verification
  3 KB (391 words) - 23:24, 14 October 2008
• ICONS 2009
  Validation and verification of safety requirements for complex systems containing hardware, software an Verification and validation of safety
  11 KB (1,492 words) - 23:26, 14 October 2008
• ACM SAC OE 2009
  - Model analysis, verification and validation.
  6 KB (746 words) - 23:26, 14 October 2008
• WDA 2008
  ...echanisms such as clock- and Vdd-gating are increasing voltage droops; the verification manpower budget is becoming a significant part of the design effort; oxide * Dynamic verification techniques
  5 KB (598 words) - 01:12, 31 May 2012
• EDCC 2008
  * Hardware and software testing, verification, and validation.
  4 KB (528 words) - 23:27, 14 October 2008
• ESWEEK 2008
  14) Validation, verification, and debugging techniques for embedded softwar\ 4) Simulation and verification
  11 KB (1,352 words) - 00:33, 15 October 2008
• LCTES 2008
  research challenges are encountered in areas such as verification, o Validation and verification, system integration and testing
  5 KB (673 words) - 23:30, 14 October 2008
• MEMOCODE 2008
  * formal verification (model checking, theorem proving)
  4 KB (526 words) - 23:30, 14 October 2008
• FIT 2008
  * Verification & analysis of interfaces
  4 KB (537 words) - 23:30, 14 October 2008
• DIPES 2008
  4. Validation and verification of embedded systems
  5 KB (655 words) - 23:30, 14 October 2008
• WAODS 2008
  - Verification tools for ontologies
  4 KB (523 words) - 23:31, 14 October 2008

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)