Search results
Create the page "Computer-Aided Verification" on this wiki! See also the search results found.
- * software specification, refinement, verification and testing8 KB (1,085 words) - 18:01, 12 February 2009
- - automata for system analysis and programme verification7 KB (994 words) - 23:06, 14 October 2008
- and Verification. Verification:5 KB (698 words) - 23:08, 14 October 2008
- * Reasoning over MOF-based models using ontologies: verification and8 KB (994 words) - 23:09, 14 October 2008
- · Workflow verification and validation in grid environments7 KB (886 words) - 23:10, 14 October 2008
- * Workflow verification and validation4 KB (560 words) - 23:10, 14 October 2008
- 14. Service-level specification & verification5 KB (651 words) - 23:13, 14 October 2008
- verification, testing, etc.)8 KB (1,158 words) - 23:14, 14 October 2008
- ...ications of formal methods and declarative technologies for specification, verification and validation of MAS * Verification of multi-agent systems6 KB (659 words) - 17:41, 11 February 2021
- * Enterprise reference models and their verification, validation, and accreditation8 KB (1,024 words) - 17:57, 8 November 2008
- ...bines elements of software architecture, modular software design, software verification, configuration and deployment. To foster exchange and collaboration with th ...oretical foundations of component specification, composition, analysis and verification continue to pose research challenges. While the engineering models and meth8 KB (1,033 words) - 23:18, 14 October 2008
- * Validation and Verification6 KB (733 words) - 12:48, 27 October 2016
- verification problems. In the authorship attribution problem, one is given verification problem, one is given examples of the writing of a single5 KB (587 words) - 23:19, 14 October 2008
- - Specification, Validation and Verification of Embedded System and Software6 KB (697 words) - 23:19, 14 October 2008
- # Software testing and verification3 KB (337 words) - 23:20, 14 October 2008
- Component based software engineering &Software verification & analysis4 KB (502 words) - 23:20, 14 October 2008
- · Writer Verification and Identification3 KB (364 words) - 23:21, 14 October 2008
- * Physical design and verification * Design verification2 KB (282 words) - 23:21, 14 October 2008
- * Validation and Verification of Functional Programs5 KB (636 words) - 23:22, 14 October 2008
- * formal techniques for verification and validation of2 KB (254 words) - 23:22, 14 October 2008
- - Validation and verification strategies (e.g. stylized facts, statistical signatures, validation with st4 KB (523 words) - 23:23, 14 October 2008
- | Title = Forum on Specification, Verification & Design Languages532 bytes (59 words) - 23:23, 14 October 2008
- ...out security, rewriting, specifications, type systems and type theory, and verification. We welcome submissions in emergent areas, such as bioinformatics and quant2 KB (285 words) - 15:11, 7 November 2016
- * Test and verification3 KB (377 words) - 23:24, 14 October 2008
- * embedded system hardware/software co-design and co-verification ...rmal methods: equivalence checking, CSP applications and transaction-level verification9 KB (1,181 words) - 00:37, 15 October 2008
- * Test, Verification, and Reliability2 KB (228 words) - 23:24, 14 October 2008
- * CS8: Verification3 KB (364 words) - 23:24, 14 October 2008
- * CS8: Verification2 KB (187 words) - 23:24, 14 October 2008
- * System-Level Design, Simulation, and Verification2 KB (275 words) - 23:24, 14 October 2008
- * Test and verification3 KB (391 words) - 23:24, 14 October 2008
- Validation and verification of safety requirements for complex systems containing hardware, software an Verification and validation of safety11 KB (1,492 words) - 23:26, 14 October 2008
- - Model analysis, verification and validation.6 KB (746 words) - 23:26, 14 October 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 techniques5 KB (598 words) - 01:12, 31 May 2012
- * Hardware and software testing, verification, and validation.4 KB (528 words) - 23:27, 14 October 2008
- 14) Validation, verification, and debugging techniques for embedded softwar\ 4) Simulation and verification11 KB (1,352 words) - 00:33, 15 October 2008
- research challenges are encountered in areas such as verification, o Validation and verification, system integration and testing5 KB (673 words) - 23:30, 14 October 2008
- * formal verification (model checking, theorem proving)4 KB (526 words) - 23:30, 14 October 2008
- * Verification & analysis of interfaces4 KB (537 words) - 23:30, 14 October 2008
- 4. Validation and verification of embedded systems5 KB (655 words) - 23:30, 14 October 2008
- - Verification tools for ontologies4 KB (523 words) - 23:31, 14 October 2008
- o Scientific workflow modeling, verification, and validation6 KB (750 words) - 23:31, 14 October 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
- ...ogical foundations, denotational semantics, operational semantics, program verification, static analysis, testing, language-based security.6 KB (824 words) - 23:32, 14 October 2008
- * type systems and type theory and verification5 KB (656 words) - 11:29, 27 August 2020
- |Title=International Conference on Computer Aided Verification * Algorithms and tools that combine verification and learning2 KB (291 words) - 11:09, 20 November 2020
- | 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 day2 KB (269 words) - 23:36, 14 October 2008
- * Techniques and Tools for Formal Verification * program semantics, logic, and verification6 KB (682 words) - 10:18, 14 April 2020
- analysis, model-checking, verification, calculation, reusable7 KB (979 words) - 23:37, 14 October 2008
- ...theoretical work (formal models, representations, specifications, logics, verification) and implementation-oriented work (architectures, programming languages, de5 KB (587 words) - 23:37, 14 October 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
- ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra2 KB (249 words) - 23:44, 14 October 2008
- Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de13 KB (1,617 words) - 19:03, 24 November 2008
- ...uary 2007, he has worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and1 KB (186 words) - 17:22, 5 February 2009
- researchers interested in developing algorithms, verification methods4 KB (535 words) - 10:05, 24 December 2008
- design, compliance assurance and verification, and others.11 KB (1,744 words) - 08:47, 5 July 2012
- o Software testing and verification o Embedded system testing and verification5 KB (567 words) - 12:58, 18 January 2009
- - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS8 KB (977 words) - 12:59, 18 January 2009
- verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science6 KB (872 words) - 13:00, 18 January 2009
- - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS7 KB (917 words) - 13:02, 18 January 2009
- - Petri nets (system design/verification with nets, protocols and networks)5 KB (661 words) - 13:02, 18 January 2009
- program development and verification, artificial intelligence, knowledge5 KB (669 words) - 13:03, 18 January 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
- * tools and methodologies for specification, semantics, verification, and testing7 KB (890 words) - 15:05, 27 December 2015
- ...on techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas w2 KB (238 words) - 16:34, 27 February 2009
- techniques for the specification, development and verification of verification, deployment, testing and certification.8 KB (1,079 words) - 17:05, 27 February 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
- - Modeling and verification methods - Formal design and verification methods5 KB (646 words) - 17:06, 27 February 2009
- - Testing, Verification and Validation6 KB (654 words) - 17:06, 27 February 2009
- * Inter-provider trust and verification schemes4 KB (621 words) - 17:06, 27 February 2009
- • Formal Methods, Verification3 KB (319 words) - 17:07, 27 February 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 syste38 KB (4,832 words) - 17:07, 27 February 2009
- - verification, analysis and development of programs and algorithms7 KB (912 words) - 17:08, 27 February 2009
- * Validation and verification11 KB (1,563 words) - 06:56, 12 April 2012
- - security verification6 KB (828 words) - 17:08, 27 February 2009
- - Instrumentation methodologies for workload verification and characterization4 KB (589 words) - 17:08, 27 February 2009
- - formal techniques for verification and validation of component =204 KB (504 words) - 16:43, 27 December 2015
- * Verification and validation techniques for agent-based systems; =C2 and verification logics;8 KB (1,153 words) - 22:41, 23 March 2009
- ...ormance visualization tools, statistical analysis resources, and debug and verification infrastructure.2 KB (210 words) - 12:17, 7 April 2016
- * Systems Verification and Validation6 KB (706 words) - 11:33, 2 August 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. T6 KB (864 words) - 11:33, 2 August 2009
- Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de6 KB (746 words) - 11:35, 2 August 2009
- * Software Verification and Validation * Testing, Analysis and Verification8 KB (1,112 words) - 11:35, 2 August 2009
- ...= Annual Workshop of the ESF Networking Programme on Games for Design and Verification Games for Design and Verification3 KB (443 words) - 14:53, 27 December 2015
- ...topics. A copy of multi-source data must be submitted (through email) for verification. If there is any copyright issue related to the submitted data, the authors7 KB (850 words) - 11:36, 2 August 2009
- - Verification of logistics services12 KB (1,624 words) - 11:36, 2 August 2009
- ...aluation in Internet; System measurement and monitoring; Performance model verification and validation; Stochastic modeling (queues, Petri nets, etc.); Statistical ...ms security; Language-based security; Formalisms for security and protocol verification; Performance on firewall protected real-time systems; Security management i14 KB (1,651 words) - 15:56, 15 February 2017
- * Petri nets (system design/verification with nets, protocols and networks)4 KB (475 words) - 13:42, 26 February 2010
- * Program analysis, transformation, generation, and verification * model checking to software verification5 KB (699 words) - 11:19, 12 September 2009
- static and dynamic analysis, validation and verification4 KB (583 words) - 12:17, 25 November 2009
- * System design and verification5 KB (607 words) - 18:01, 3 December 2009
- * › Security Verification and Validation4 KB (409 words) - 15:40, 5 February 2010
- ...pers may present advances in the theory, design, implementation, analysis, verification, or empirical evaluation and measurement of secure systems.4 KB (490 words) - 14:42, 6 November 2020
- * Tools for formal methods: advances in automated verification and model‐ checking, integration of tools, environments for formal method * Theoretical foundations: all aspects of theory related to specification, verification, refinement, and static analysis. Authors are encouraged to explain how the7 KB (993 words) - 14:55, 27 December 2015
- ...ms that contribute to the state of practice in the design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size2 KB (312 words) - 10:13, 8 October 2020
- * test and verification of interactive systems5 KB (604 words) - 21:24, 1 November 2010
- * Specification, Verification and Synthesis4 KB (602 words) - 06:44, 26 August 2020
- * Design & Verification Tools for Embedded Systems Design & Verification Tools for Embedded Systems12 KB (1,378 words) - 21:13, 28 November 2010
- * Formal Verification8 KB (678 words) - 09:03, 2 January 2011
- |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems5 KB (650 words) - 14:16, 22 February 2011
- * Network Protocol Verification and Validation3 KB (322 words) - 05:59, 8 March 2011