Search results

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

• 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
• SWF 2008
  o Scientific workflow modeling, verification, and validation
  6 KB (750 words) - 23:31, 14 October 2008
• ISORC 2008
  ...-driven development of high integrity applications, specification, design, verification, validation, testing, maintenance, system of systems, etc.
  3 KB (377 words) - 23:31, 14 October 2008
• ESOP 2009
  ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.
  6 KB (824 words) - 23:32, 14 October 2008
• LICS 2020
  * type systems and type theory and verification
  5 KB (656 words) - 11:29, 27 August 2020
• CAV 2020
  |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning
  2 KB (291 words) - 11:09, 20 November 2020
• FMCAD 2008
  | Title = Formal Methods in Computer-Aided Design ...ems. FMCAD covers formal aspects of computer-aided system design including verification, specification, synthesis, and testing. FMCAD 2008 will include a full day
  2 KB (269 words) - 23:36, 14 October 2008
• SOFSEM 2009
  * Techniques and Tools for Formal Verification * program semantics, logic, and verification
  6 KB (682 words) - 10:18, 14 April 2020
• FM'08
  analysis, model-checking, verification, calculation, reusable
  7 KB (979 words) - 23:37, 14 October 2008
• DEON 2008
  ...theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming languages, de
  5 KB (587 words) - 23:37, 14 October 2008
• HASE 2008
  ...ies, middleware, tools, and models for high assurance systems development, verification and validation, and assessment are welcome.
  6 KB (748 words) - 14:43, 27 December 2015

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