Search results
Create the page "Computer-Aided Verification" on this wiki! See also the search results found.
- 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
- * Enterprise reference models and their verification, validation, and accreditation8 KB (1,135 words) - 21:41, 11 March 2011
- Verification and enforcement of security properties4 KB (581 words) - 18:48, 24 February 2020
- ...gineering || Mobile applications || Scientific computing || Validation and verification6 KB (738 words) - 11:21, 6 July 2020
- *Programming languages, formal methods, specification and verification applied to distributed systems2 KB (299 words) - 11:51, 8 April 2020
- Computer-Aided Network Design Logic synthesis and formal verification10 KB (1,363 words) - 09:26, 7 May 2012
- |Title=International Conference on Computer Aided Verification |Field=Computer-Aided Verification473 bytes (57 words) - 17:12, 9 February 2021
- |Title=International Conference on Computer-Aided Verification |Field=Computer-Aided Verification382 bytes (45 words) - 17:12, 9 February 2021
- ● Attestation and integrity verification ● Verification of trusted computing architectures5 KB (677 words) - 15:19, 19 December 2012
- * Knowledge verification/validation3 KB (408 words) - 11:39, 5 January 2013
- ** Big data verification using semantics5 KB (711 words) - 19:02, 7 March 2020
- ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do3 KB (422 words) - 12:09, 24 April 2016
- |Field=computer science, theory, semantics, verification336 bytes (36 words) - 06:30, 20 September 2016
- * Analysis and verification techniques870 bytes (100 words) - 18:53, 2 March 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification401 bytes (50 words) - 15:12, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification399 bytes (48 words) - 16:33, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification398 bytes (46 words) - 16:58, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification393 bytes (45 words) - 16:54, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification381 bytes (46 words) - 16:36, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification357 bytes (40 words) - 17:05, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification372 bytes (42 words) - 17:10, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification367 bytes (42 words) - 16:43, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification378 bytes (46 words) - 15:18, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification378 bytes (43 words) - 17:06, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification375 bytes (44 words) - 15:51, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification364 bytes (42 words) - 15:42, 9 February 2021
- |Title=Verification Methods for Finite State Systems |Field=Computer-Aided Verification306 bytes (37 words) - 18:09, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification358 bytes (41 words) - 16:30, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification379 bytes (46 words) - 15:04, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification341 bytes (38 words) - 16:05, 9 February 2021
- |Title=International Conference on Computer Aided Verification |Field=Computer-Aided Verification547 bytes (69 words) - 17:11, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification302 bytes (36 words) - 14:39, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification373 bytes (45 words) - 15:22, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification322 bytes (36 words) - 15:27, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification336 bytes (38 words) - 15:58, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification336 bytes (38 words) - 15:35, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification380 bytes (44 words) - 17:01, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification397 bytes (48 words) - 14:56, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification383 bytes (46 words) - 14:52, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification381 bytes (46 words) - 14:50, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification363 bytes (41 words) - 16:48, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification370 bytes (42 words) - 17:03, 9 February 2021
- |Title=Computer Aided Verification |Field=Computer-Aided Verification341 bytes (42 words) - 14:38, 9 February 2021
- |Title=Computer Aided Verification93 bytes (11 words) - 17:52, 30 September 2016
- * type systems and type theory and verification4 KB (528 words) - 11:25, 26 June 2020
- * type systems and type theory and verification4 KB (490 words) - 11:42, 26 June 2020
- * Rehearsal: a configuration verification tool for puppet3 KB (390 words) - 08:01, 9 July 2020
- Analysis and verification of collaborative visual content: the visual understanding of individual ima3 KB (376 words) - 11:59, 8 August 2017
- * Validation, Verification and Testing for Software Security4 KB (562 words) - 12:05, 3 September 2017
- Verification and Validation5 KB (673 words) - 09:53, 3 September 2017
- * Hardware Formal Verification3 KB (464 words) - 13:28, 28 July 2017
- - Programming languages, formal methods, specification and verification7 KB (1,009 words) - 15:54, 3 September 2019
- Verification, Programming Languages; Parallel/Distributed Computing,4 KB (559 words) - 11:58, 8 August 2017
- Integrity and Constraint Management: verification, validation, consistent9 KB (1,118 words) - 13:41, 3 September 2017
- attacks), validation, verification and certification of network4 KB (515 words) - 11:28, 6 November 2020
- Software Verification and Testing SVT5 KB (660 words) - 13:50, 8 April 2020
- engines; applications, especially in systems analysis and formal verification;5 KB (670 words) - 13:24, 28 July 2017
- * Test, Verification, and Security of Digital Systems1 KB (178 words) - 10:05, 20 November 2020
- and verification paradigms. Preferred topics in this issue include (but are not4 KB (598 words) - 09:58, 21 August 2017
- - Formal methods, models, simulation and verification7 KB (1,046 words) - 10:36, 26 November 2017
- Analysis, simulation and verification6 KB (748 words) - 10:36, 26 November 2017
- ...Hallé is the Canada Research Chair in Software Specification, Testing and Verification and a Full Professor of Computer Science at Université du Québec à Chico634 bytes (99 words) - 07:09, 8 October 2021
- *Verification and testing, and their impact on design and security4 KB (547 words) - 12:27, 30 September 2019
- ...l aspects of network protocols, including design, analysis, specification, verification, implementation, and performance.1 KB (139 words) - 15:07, 26 June 2019
- * programming and verification2 KB (192 words) - 08:38, 14 April 2020
- * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation5 KB (617 words) - 11:54, 19 June 2020
- * Mechanisms for efficient design of experiments, including dynamic verification and validation of models, and automatic simulation model generation and ini3 KB (457 words) - 08:25, 17 April 2020
- * ● Model checking and verification of distributed systems * ● Verification of infinite-state or parametric systems2 KB (243 words) - 20:03, 13 May 2020
- * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems2 KB (251 words) - 18:19, 13 May 2020
- * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems2 KB (291 words) - 19:33, 13 May 2020
- * Formal methods and declarative technologies for specification, verification and engineering of MAS6 KB (863 words) - 15:29, 18 June 2020
- * development, verification and assessment of highly automated and autonomous dependable systems * formal modelling, verification and validation of critical systems, software and hardware3 KB (419 words) - 10:51, 19 June 2020
- * - Simulation Verification and Validation5 KB (640 words) - 13:03, 5 May 2020
- D4 Formal Methods and Verification, Click here for details ...development environments. Emphasis will also be on model-based design and verification, embedded software platforms, software compilation and integration, real-ti12 KB (1,651 words) - 13:30, 27 November 2020
- * program analysis, transformation, generation, and verification,5 KB (722 words) - 13:15, 6 May 2020
- * Formal methods for verification, validation, and fault tolerance; * Probabilistic verification and validation;4 KB (475 words) - 10:23, 19 June 2020
- ...of FPGAs. Novel design software for system-level partitioning, debug, and verification. Algorithms for modeling, analysis and optimization of timing and power. ...c languages, tools, and techniques to facilitate the design, debugging and verification of FPGA-based applications and systems. Novel hardware/software co-design a11 KB (1,541 words) - 15:35, 18 June 2020
- * 1.1. HW/SW co-design, co-simulation and co-verification * 1.3. System-level formal verification6 KB (739 words) - 15:08, 13 May 2020
- * Formal methods for verification, validation, and fault tolerance * Probabilistic verification and validation4 KB (457 words) - 11:48, 17 June 2020
- * Specification, Verification and Synthesis4 KB (556 words) - 06:42, 26 August 2020