Search results

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

• COMPSAC 2008
  ...lysis and co-design, modelling, design, development, testing, measurement, verification and validation for performance, safety, security, and dependability constra
  2 KB (249 words) - 23:44, 14 October 2008
• SECURWARE 2009
  Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
  13 KB (1,617 words) - 19:03, 24 November 2008
• Francesco Flammini
  ...uary 2007, he has worked in Ansaldo STS as a Software/RAMS Engineer in the Verification & Validation unit, specializing in model-based dependability evaluation and
  1 KB (186 words) - 17:22, 5 February 2009
• M4M-6
  researchers interested in developing algorithms, verification methods
  4 KB (535 words) - 10:05, 24 December 2008
• BPMDS 2009
  design, compliance assurance and verification, and others.
  11 KB (1,744 words) - 08:47, 5 July 2012
• RIVF 2009
  o Software testing and verification o Embedded system testing and verification
  5 KB (567 words) - 12:58, 18 January 2009
• ProMAS' 2009
  - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
  8 KB (977 words) - 12:59, 18 January 2009
• TIME 2009
  verification of software and hardware systems. In addition to fostering Track 3: Temporal Logic and Verification in Computer Science
  6 KB (872 words) - 13:00, 18 January 2009
• ProMAS 2009
  - Formal methods for specification and verification of MAS - Verification tools for implementations of MAS
  7 KB (917 words) - 13:02, 18 January 2009
• ICINCO 2009
  - Petri nets (system design/verification with nets, protocols and networks)
  5 KB (661 words) - 13:02, 18 January 2009
• FroCoS 2009
  program development and verification, artificial intelligence, knowledge
  5 KB (669 words) - 13:03, 18 January 2009
• ICCNS 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
• DISC 2009
  * tools and methodologies for specification, semantics, verification, and testing
  7 KB (890 words) - 15:05, 27 December 2015
• SPIN 2009
  ...on techniques, as implemented in the SPIN model checker and other software verification tools. The workshop aims to encourage interactions and exchanges of ideas w
  2 KB (238 words) - 16:34, 27 February 2009
• FACS 2009
  techniques for the specification, development and verification of verification, deployment, testing and certification.
  8 KB (1,079 words) - 17:05, 27 February 2009
• SEPA 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
• IJERTCS 2009
  - Modeling and verification methods - Formal design and verification methods
  5 KB (646 words) - 17:06, 27 February 2009
• KSE 2009
  - Testing, Verification and Validation
  6 KB (654 words) - 17:06, 27 February 2009
• IPTComm 2009
  * Inter-provider trust and verification schemes
  4 KB (621 words) - 17:06, 27 February 2009
• ICOCI 2009
  • Formal Methods, Verification
  3 KB (319 words) - 17:07, 27 February 2009

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