Search results

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

• 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) - 14:15, 11 August 2008
• KES AMSTA 2009
  ** Verification and validation ** Verification and validation
  6 KB (777 words) - 21:54, 14 August 2008
• IJIS/Special Issue on Goal-Driven Requirements Engineering
  * verification and validation for GDRE
  4 KB (471 words) - 22:33, 13 August 2008
• JWE
  * Web application evaluation, verification and validation
  6 KB (871 words) - 04:51, 26 August 2008
• ISORC 2009
  specification, design, verification, validation, testing, maintenance,
  5 KB (715 words) - 16:43, 11 September 2008
• CSR 2009
  for design, development, testing, analysis, and verification of correct
  5 KB (614 words) - 16:22, 11 September 2008
• AAMAS 2009
  properties (like cooperation, coordination etc...), agent verification
  10 KB (1,371 words) - 15:14, 12 November 2020
• 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) - 17:23, 13 October 2008
• SEA 2011
  Software Verification and Model Checking
  2 KB (293 words) - 09:35, 24 June 2011
• ATC 2009
  ...dels, negotiation, cooperation, competition, self-organization, emergence, verification etc.
  9 KB (1,216 words) - 16:32, 14 October 2008
• DEPEND 2008
  Verification and validation (including model checking) of dependable software architectu
  7 KB (960 words) - 16: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) - 20: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) - 20:16, 14 October 2008
• EICS 2009
  ...-IS 2009, the 16th International Workshop on the Design, Specification and Verification of Interactive Systems.
  4 KB (575 words) - 13:56, 27 December 2015
• CASCON 2008
  - Reliability: verification and validation; model checking; =
  9 KB (1,193 words) - 21:53, 14 October 2008
• CDVE 2008
  �?� Cooperative design analysis, verification, integration and interoperability, standards
  4 KB (468 words) - 21:54, 14 October 2008
• LATA 2008
  - automata for system analysis and programme verification
  6 KB (788 words) - 22:01, 14 October 2008
• WIALAMAS 2008
  * formal methods for verification of multi-agent systems
  5 KB (670 words) - 22:04, 14 October 2008
• LPAR 2008
  - Program and system verification
  5 KB (799 words) - 20:49, 26 February 2020
• ICINCO 2008
  Petri nets (system design/verification with nets, protocols and networks)
  5 KB (634 words) - 22:05, 14 October 2008

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