Search results

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

• EDCC 2008
  * Hardware and software testing, verification, and validation.
  4 KB (528 words) - 23:27, 14 October 2008
• HSCC 2009
  �?� Tools for analysis, verification, control, and optimization;
  3 KB (406 words) - 23:29, 14 October 2008
• MEMS 2009
  * Design, simulation and analysis tools with experimental verification
  2 KB (278 words) - 22:54, 4 February 2009
• CRTS 2008
  verification techniques.
  6 KB (707 words) - 23:29, 14 October 2008
• EURASIP Journal on Embedded Systems 2009
  ...ifferent applications of formal or semiformal techniques in specification, verification, and synthesis of * Verification of system-level languages
  4 KB (456 words) - 23:30, 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
• APRES 2008
  - Verification and certification of reconfigurable systems
  7 KB (851 words) - 23:30, 14 October 2008
• RTAS Event-based Semantics 2008
  certification, resulting in a major verification challenge. The notion of verification of such systems.
  3 KB (426 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
• DADS 2009
  ...ions and formal methods (e.g., rigorous development of dependable systems, verification and refinement of fault tolerant systems, techniques and mechanisms ensurin
  8 KB (952 words) - 23:31, 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
• PPoPP 2009
  * Formal analysis and verification
  4 KB (495 words) - 23:32, 14 October 2008
• PPDP 2008
  * Program Analysis and Verification
  4 KB (451 words) - 23:32, 14 October 2008
• ISSTA 2020
  * Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things
  2 KB (216 words) - 09:31, 16 July 2020

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