Search results

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

• VMCAI 2020
  |Title=21st International Conference on Verification, Model Checking, and Abstract Interpretation
  470 bytes (58 words) - 06:05, 15 May 2020
• BIOINFORMATICS 2021
  *Formal Verification of Biological Systems
  3 KB (304 words) - 12:02, 22 March 2020
• BIOINFORMATICS 2019
  *Formal Verification of Biological Systems
  3 KB (359 words) - 12:32, 8 December 2020
• TAMC 2020
  * programming and verification
  2 KB (192 words) - 08:38, 14 April 2020
• SafeComp 2020
  * Development, verification and assessment of intelligent and autonomous safety-critical systems * Formal modelling, verification and validation
  5 KB (617 words) - 11:54, 19 June 2020
• ATVA 2019
  |Title=17th International Symposium on Automated Technology for Verification and Analysis
  672 bytes (77 words) - 08:45, 20 March 2020
• ATVA 2018
  |Title=16th International Symposium on Automated Technology for Verification and Analysis
  677 bytes (79 words) - 11:53, 22 March 2020
• DBPL 2020
  * Semantics and Verification of Database Systems
  2 KB (255 words) - 10:39, 17 April 2020
• PADS 2020
  * Mechanisms for efficient design of experiments, including dynamic verification and validation of models, and automatic simulation model generation and ini
  3 KB (457 words) - 08:25, 17 April 2020
• KSEM 2020
  • Knowledge verification and validation
  3 KB (277 words) - 15:47, 11 June 2020
• KSEM 2018
  * Knowledge verification and validation
  2 KB (204 words) - 11:36, 27 March 2020
• PSI 2019
  * Marta Kwiatkowska (Oxford University, UK): Safety Verification for Deep Neural Networks with Provable Guarantees
  1 KB (131 words) - 18:20, 1 April 2020
• CoNEXT 2018
  *Network verification and validation
  2 KB (238 words) - 11:18, 6 April 2020
• Coordination 2020
  ...ification, refinement, and analysis of architectures: patterns and styles, verification of functional and non-functional properties, including performance and secu ...es, languages, middleware, tools, and environments for the development and verification of coordinated applications;
  2 KB (264 words) - 18:00, 18 February 2021
• APLAS 2019
  * program analysis, verification, model-checking
  1 KB (141 words) - 15:22, 8 April 2020
• APLAS 2018
  * Program analysis, verification, model-checking
  1 KB (110 words) - 15:22, 8 April 2020
• APLAS 2017
  * program analysis, verification, model-checking
  1 KB (109 words) - 15:23, 8 April 2020
• Petri Nets 2018
  * ● Model checking and verification of distributed systems * ● Verification of infinite-state or parametric systems
  2 KB (243 words) - 20:03, 13 May 2020
• Petri Nets 2019
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (251 words) - 18:19, 13 May 2020
• Petri Nets 2020
  * Model checking and verification of distributed systems * Verification of infinite-state or parametric systems
  2 KB (291 words) - 19:33, 13 May 2020

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