Search results
Create the page "Verification" on this wiki! See also the search results found.
Page title matches
- 183 bytes (19 words) - 21:55, 15 August 2008
Page text matches
- ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac7 KB (957 words) - 15:15, 11 August 2008
- * Program Analysis and Verification,4 KB (568 words) - 20:02, 20 August 2008
- verification, development and evolution methodology. This9 KB (1,151 words) - 18:27, 13 October 2008
- ** Verification and validation ** Verification and validation6 KB (777 words) - 22:54, 14 August 2008
- * verification and validation for GDRE4 KB (471 words) - 23:33, 13 August 2008
- * Validation & verification4 KB (564 words) - 12:33, 8 December 2020
- ...ities include but are not limited to formal methods, software and hardware verification, static analysis, programming languages, software engineering, real-time sy * Specification and verification techniques for finite and infinite-state systems;4 KB (543 words) - 16:39, 16 July 2020
- * Web application evaluation, verification and validation6 KB (871 words) - 05:51, 26 August 2008
- specification, design, verification, validation, testing, maintenance,5 KB (715 words) - 17:43, 11 September 2008
- for design, development, testing, analysis, and verification of correct5 KB (614 words) - 17:22, 11 September 2008
- properties (like cooperation, coordination etc...), agent verification10 KB (1,371 words) - 16:14, 12 November 2020
- |Field=Software Verification software verification. The Working Conference is open to anyone who is5 KB (686 words) - 12:27, 12 September 2008
- ...n different modeling levels, formal, semi-formal, and specification-driven verification on the system level. Transaction-level modeling. * 2. Design and verification methods for composition of concurrent systems: Multi-core architectures, ne5 KB (708 words) - 18:23, 13 October 2008
- Software Verification and Model Checking2 KB (293 words) - 10:35, 24 June 2011
- ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.9 KB (1,216 words) - 17:32, 14 October 2008
- .Hardware/Software Co-Verification3 KB (375 words) - 17:48, 14 October 2008
- ...chnology mapping, system-level partitioning, logic generators, testing and verification, CAD for FPGA-based accelerators, CAD for incremental FPGA design and on-li ...s, tools, and techniques to facilitate the design, development, debugging, verification, and deployment of large-scale and high-performance FPGA-based applications4 KB (561 words) - 17:48, 14 October 2008
- Verification and validation (including model checking) of dependable software architectu7 KB (960 words) - 17:48, 14 October 2008
- ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo4 KB (459 words) - 21:03, 14 October 2008
- ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and3 KB (361 words) - 21:16, 14 October 2008
- ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.4 KB (575 words) - 14:56, 27 December 2015
- - Reliability: verification and validation; model checking; =9 KB (1,193 words) - 22:53, 14 October 2008
- �?� Cooperative design analysis, verification, integration and interoperability, standards4 KB (468 words) - 22:54, 14 October 2008
- - automata for system analysis and programme verification6 KB (788 words) - 23:01, 14 October 2008
- * formal methods for verification of multi-agent systems5 KB (670 words) - 23:04, 14 October 2008
- - Program and system verification5 KB (799 words) - 21:49, 26 February 2020
- Petri nets (system design/verification with nets, protocols and networks)5 KB (634 words) - 23:05, 14 October 2008
- * 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
- ...nt Engineering, Terminological Ontologies, Paraphrasing, Dynamic Modeling, Verification, Consistency Checking, Metadata Harvesting ...ase Querying/Retrieval: Natural Language Interfaces for Database Querying, Verification of Database Queries by Paraphrasing, Semantic Analysis for Information Retr3 KB (384 words) - 23:08, 14 October 2008
- * Reasoning over MOF-based models using ontologies: verification and8 KB (994 words) - 23:09, 14 October 2008
- web semantics) and for various purposes (e.g., model verification and * validation, verification, and testing,5 KB (746 words) - 23:09, 14 October 2008
- | Title = 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems618 bytes (69 words) - 17:06, 24 February 2016
- · Workflow verification and validation in grid environments7 KB (886 words) - 23:10, 14 October 2008
- * Validation and Verification of data and knowledge base designs2 KB (271 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
- o Speaker identification/verification4 KB (526 words) - 23:17, 14 October 2008
- * Testing, Verification and Validation8 KB (1,104 words) - 23:18, 14 October 2008
- * Verification and validation of resilient systems9 KB (1,264 words) - 18:14, 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
- compilation, formal analysis and verification techniques, and * formal specification and verification,6 KB (659 words) - 23:18, 14 October 2008
- ...system software co-engineering, up to operations, through development and verification. * Proving: formal verification or proof18 KB (2,714 words) - 23:23, 14 October 2008
- 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
