Search results

Jump to: navigation, search

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
  • COMPSAC 2008
    ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra
    2 KB (249 words) - 23:44, 14 October 2008
  • SECURWARE 2009
    Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
    13 KB (1,617 words) - 19:03, 24 November 2008
  • Francesco Flammini
    ...uary 2007, he has worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and
    1 KB (186 words) - 17:22, 5 February 2009
  • M4M-6
    researchers interested in developing algorithms, verification methods
    4 KB (535 words) - 10:05, 24 December 2008
  • BPMDS 2009
    design, compliance assurance and verification, and others.
    11 KB (1,744 words) - 08:47, 5 July 2012
  • RIVF 2009
    o Software testing and verification o Embedded system testing and verification
    5 KB (567 words) - 12:58, 18 January 2009
  • ProMAS' 2009
    - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    8 KB (977 words) - 12:59, 18 January 2009
  • TIME 2009
    verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
    6 KB (872 words) - 13:00, 18 January 2009
  • ProMAS 2009
    - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
    7 KB (917 words) - 13:02, 18 January 2009
  • ICINCO 2009
    - Petri nets (system design/verification with nets, protocols and networks)
    5 KB (661 words) - 13:02, 18 January 2009
  • FroCoS 2009
    program development and verification, artificial intelligence, knowledge
    5 KB (669 words) - 13:03, 18 January 2009
  • ICCNS 2009
    ...ation form below. Student registrations must be accompanied by a letter of verification from a department chairperson or faculty/research advisor.
    8 KB (1,092 words) - 13:33, 18 January 2009
  • DISC 2009
    * tools and methodologies for specification, semantics, verification, and testing
    7 KB (890 words) - 15:05, 27 December 2015
  • SPIN 2009
    ...on techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas w
    2 KB (238 words) - 16:34, 27 February 2009
  • FACS 2009
    techniques for the specification, development and verification of verification, deployment, testing and certification.
    8 KB (1,079 words) - 17:05, 27 February 2009
  • SEPA 2009
    ...tware development, component based software engineering, software quality, verification and validation techniques and software project management.
    2 KB (284 words) - 22:10, 27 February 2009
  • IJERTCS 2009
    - Modeling and verification methods - Formal design and verification methods
    5 KB (646 words) - 17:06, 27 February 2009
  • KSE 2009
    - Testing, Verification and Validation
    6 KB (654 words) - 17:06, 27 February 2009
  • IPTComm 2009
    * Inter-provider trust and verification schemes
    4 KB (621 words) - 17:06, 27 February 2009
  • ICOCI 2009
    • Formal Methods, Verification
    3 KB (319 words) - 17:07, 27 February 2009
  • ISC 2009
    VERIFICATION, VALIDATION AND ACCREDITATION ...dation is concerned with the question "Are we building the right system?". Verification, on the other hand, seeks to answer the question "Are we building the syste
    38 KB (4,832 words) - 17:07, 27 February 2009
  • RelMiCS-AKA 2009
    - verification, analysis and development of programs and algorithms
    7 KB (912 words) - 17:08, 27 February 2009
  • ICKE 2009
    * Validation and verification
    11 KB (1,563 words) - 06:56, 12 April 2012
  • ESORICS 2009
    - security verification
    6 KB (828 words) - 17:08, 27 February 2009
  • IISWC 2009
    - Instrumentation methodologies for workload verification and characterization
    4 KB (589 words) - 17:08, 27 February 2009
  • CORCS 2009
    - formal techniques for verification and validation of component =20
    4 KB (504 words) - 16:43, 27 December 2015
  • AOSE09
    * Verification and validation techniques for agent-based systems; =C2 and verification logics;
    8 KB (1,153 words) - 22:41, 23 March 2009
  • SimpleScalar
    ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.
    2 KB (210 words) - 12:17, 7 April 2016
  • IEEE Systems 2010
    * Systems Verification and Validation
    6 KB (706 words) - 11:33, 2 August 2009
  • DERIS 2009
    Evaluation, Verification, Validation and Refinement of Intelligent systems, have been an important i Today, in fact, the classic approach to the Evaluation, Verification, Validation and Refinement have to be assessed from the new perspectives. T
    6 KB (864 words) - 11:33, 2 August 2009

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"