Search results

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

• Security 2009
  Formal aspects of security; Security analysis methodologies; Security verification; Security protocols; Security architectures and formalisms; Security and de
  6 KB (746 words) - 11:35, 2 August 2009
• ASWEC 2010
  * Software Verification and Validation * Testing, Analysis and Verification
  8 KB (1,112 words) - 11:35, 2 August 2009
• GAMES 2009
  ...= Annual Workshop of the ESF Networking Programme on Games for Design and Verification Games for Design and Verification
  3 KB (443 words) - 14:53, 27 December 2015
• MMIS 2009
  ...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 authors
  7 KB (850 words) - 11:36, 2 August 2009
• SOC-LOG 2009
  - Verification of logistics services
  12 KB (1,624 words) - 11:36, 2 August 2009
• ICIMP 2010
  ...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 i
  14 KB (1,651 words) - 15:56, 15 February 2017
• ICINCO 2010
  * Petri nets (system design/verification with nets, protocols and networks)
  4 KB (475 words) - 13:42, 26 February 2010
• LDTA 2010
  * Program analysis, transformation, generation, and verification * model checking to software verification
  5 KB (699 words) - 11:19, 12 September 2009
• QSIC 2010
  static and dynamic analysis, validation and verification
  4 KB (583 words) - 12:17, 25 November 2009
• ICITST-2010
  * System design and verification
  5 KB (607 words) - 18:01, 3 December 2009
• SECRYPT
  * › Security Verification and Validation
  4 KB (409 words) - 15:40, 5 February 2010
• S&P 2020
  ...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
• FM 2011
  * 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 the
  7 KB (993 words) - 14:55, 27 December 2015
• RTAS 2020
  ...ms that contribute to the state of practice in the design, implementation, verification, and validation of embedded systems and time-sensitive systems (of any size
  2 KB (312 words) - 10:13, 8 October 2020
• IWIGP 2011
  * test and verification of interactive systems
  5 KB (604 words) - 21:24, 1 November 2010
• ICALP 2020
  * Specification, Verification and Synthesis
  4 KB (602 words) - 06:44, 26 August 2020
• MESA 2011
  * Design & Verification Tools for Embedded Systems Design & Verification Tools for Embedded Systems
  12 KB (1,378 words) - 21:13, 28 November 2010
• SXACEA 2011
  * Formal Verification
  8 KB (678 words) - 09:03, 2 January 2011
• WWV 2011
  |Title=7th International Workshop on Automated Specification and Verification of Web Systems Automated Specification and Verification of Web Systems
  5 KB (650 words) - 14:16, 22 February 2011
• NCA 2011
  * Network Protocol Verification and Validation
  3 KB (322 words) - 05:59, 8 March 2011

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