Search results

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

Page title matches

• Software Testing, Verification & Reliability
  183 bytes (19 words) - 21:55, 15 August 2008

Page text matches

• SAC 2009 SOAP
  ...ast years, and many attempts at using formal methods for specification and verification in this setting have been made. Session correlation, service types, contrac
  7 KB (957 words) - 15:15, 11 August 2008
• SAC 2009 Programming Languages
  * Program Analysis and Verification,
  4 KB (568 words) - 20:02, 20 August 2008
• MBSDI 2009
  verification, development and evolution methodology. This
  9 KB (1,151 words) - 18:27, 13 October 2008
• KES AMSTA 2009
  ** Verification and validation ** Verification and validation
  6 KB (777 words) - 22:54, 14 August 2008
• IJIS/Special Issue on Goal-Driven Requirements Engineering
  * verification and validation for GDRE
  4 KB (471 words) - 23:33, 13 August 2008
• COMPARCH 2008
  * Validation & verification
  4 KB (564 words) - 12:33, 8 December 2020
• TACAS 2009
  ...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
• JWE
  * Web application evaluation, verification and validation
  6 KB (871 words) - 05:51, 26 August 2008
• ISORC 2009
  specification, design, verification, validation, testing, maintenance,
  5 KB (715 words) - 17:43, 11 September 2008
• CSR 2009
  for design, development, testing, analysis, and verification of correct
  5 KB (614 words) - 17:22, 11 September 2008
• AAMAS 2009
  properties (like cooperation, coordination etc...), agent verification
  10 KB (1,371 words) - 16:14, 12 November 2020
• VSTTE 2008
  |Field=Software Verification software verification. The Working Conference is open to anyone who is
  5 KB (686 words) - 12:27, 12 September 2008
• MemoCODE 2009
  ...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, ne
  5 KB (708 words) - 18:23, 13 October 2008
• SEA 2011
  Software Verification and Model Checking
  2 KB (293 words) - 10:35, 24 June 2011
• ATC 2009
  ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
  9 KB (1,216 words) - 17:32, 14 October 2008
• ICESS 2009
  .Hardware/Software Co-Verification
  3 KB (375 words) - 17:48, 14 October 2008
• FPGA 2009
  ...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 applications
  4 KB (561 words) - 17:48, 14 October 2008
• DEPEND 2008
  Verification and validation (including model checking) of dependable software architectu
  7 KB (960 words) - 17:48, 14 October 2008
• GLSVLSI 2009
  ...sign, logic and behavioral synthesis, logic mapping, simulation and formal verification, layout (partitioning, placement, routing, floorplanning, compaction), algo
  4 KB (459 words) - 21:03, 14 October 2008
• SIGMETRICS 2009
  ...lgorithms for: analytic modeling, system measurement and monitoring, model verification and validation, simulation, statistical analysis, experimental design, and
  3 KB (361 words) - 21:16, 14 October 2008

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