Search results

Jump to: navigation, search

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
  • EI2N 2011
    * Enterprise reference models and their verification, validation, and accreditation
    8 KB (1,135 words) - 21:41, 11 March 2011
  • DISSECT 2020
    Verification and enforcement of security properties
    4 KB (581 words) - 18:48, 24 February 2020
  • ESEC/FSE 2020
    ...gineering || Mobile applications || Scientific computing || Validation and verification
    6 KB (738 words) - 11:21, 6 July 2020
  • OPODIS 2019
    *Programming languages, formal methods, specification and verification applied to distributed systems
    2 KB (299 words) - 11:51, 8 April 2020
  • ICCS 2012
    Computer-Aided Network Design Logic synthesis and formal verification
    10 KB (1,363 words) - 09:26, 7 May 2012
  • CAV 2019
    |Title=International Conference on Computer-Aided Verification |Field=Computer-Aided Verification
    382 bytes (45 words) - 17:12, 9 February 2021
  • TRUST 2013
    ● Attestation and integrity verification ● Verification of trusted computing architectures
    5 KB (677 words) - 15:19, 19 December 2012
  • ACIS 2013
    * Knowledge verification/validation
    3 KB (408 words) - 11:39, 5 January 2013
  • JIST 2016
    ** Big data verification using semantics
    5 KB (711 words) - 19:02, 7 March 2020
  • RIVF 2016
    ..., open source software development, software process, software testing and verification, embedded systems, distributed data management, information integration, do
    3 KB (422 words) - 12:09, 24 April 2016
  • NWPT 2016
    |Field=computer science, theory, semantics, verification
    336 bytes (36 words) - 06:30, 20 September 2016
  • ACSS 2017-2
    * Analysis and verification techniques
    870 bytes (100 words) - 18:53, 2 March 2021
  • CAV 1996
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    401 bytes (50 words) - 15:12, 9 February 2021
  • CAV 2006
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    399 bytes (48 words) - 16:33, 9 February 2021
  • CAV 2011
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    398 bytes (46 words) - 16:58, 9 February 2021
  • CAV 2010
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    393 bytes (45 words) - 16:54, 9 February 2021
  • CAV 2005
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    381 bytes (46 words) - 16:36, 9 February 2021
  • CAV 2014
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    357 bytes (40 words) - 17:05, 9 February 2021
  • CAV 2016
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    372 bytes (42 words) - 17:10, 9 February 2021
  • CAV 2008
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    367 bytes (42 words) - 16:43, 9 February 2021
  • CAV 1997
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (46 words) - 15:18, 9 February 2021
  • CAV 2015
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    378 bytes (43 words) - 17:06, 9 February 2021
  • CAV 2001
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    375 bytes (44 words) - 15:51, 9 February 2021
  • CAV 2002
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    364 bytes (42 words) - 15:42, 9 February 2021
  • CAV 1989
    |Title=Verification Methods for Finite State Systems |Field=Computer-Aided Verification
    306 bytes (37 words) - 18:09, 9 February 2021
  • CAV 2007
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    358 bytes (41 words) - 16:30, 9 February 2021
  • CAV 1995
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    379 bytes (46 words) - 15:04, 9 February 2021
  • CAV 2004
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    341 bytes (38 words) - 16:05, 9 February 2021
  • CAV 2017
    |Title=International Conference on Computer Aided Verification |Field=Computer-Aided Verification
    547 bytes (69 words) - 17:11, 9 February 2021
  • CAV 1990
    |Title=Computer Aided Verification |Field=Computer-Aided Verification
    302 bytes (36 words) - 14:39, 9 February 2021

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

Retrieved from "https://www.openresearch.org/wiki/Special:Search"