Validation and Verification

Independent procedures that are used together for checking that a product, service, or system meets requirements and specifications and that it fulfills its intended purpose.
wikipage

Visible to the public Verification Tools Main Wiki Page

Submitted by akarns on Tue, 09/24/2019 - 8:14pm
event

Visible to the public  HSCC 2020
Apr 21, 2020 7:00 am - Apr 24, 2020 6:00 pm AEST

Submitted by Anonymous on Fri, 09/13/2019 - 8:58am

23rd ACM International Conference on Hybrid Systems: Computation and Control

April 21-24, 2020 | Sydney Australia | https://berkeleylearnverify.github.io/HSCC_2020/

forum

Visible to the public Call for Papers: ICFEM'2019 (EXTENDED DEADLINE)

Submitted by willirn1 on Mon, 06/17/2019 - 2:13pm

Call For Papers -- Extended Deadline

21st International Conference on Formal Engineering Methods (ICFEM 2019)

November 5th-9th | Shenzhen, China | http://csse.szu.edu.cn/icfem2019/

Submission Website

https://easychair.org/conferences/?conf=icfem2019

forum

Visible to the public Call for Papers: The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

Submitted by willirn1 on Mon, 06/17/2019 - 11:23am

CALL FOR PAPERS

The 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019)

San Diego, USA | October 9-11, 2019 | https://memocode.github.io/2019/

OVERVIEW

forum

Visible to the public HEALTH Call for Papers: Special Issue on Wearable Technologies for Smart Health

Submitted by Anonymous on Tue, 06/04/2019 - 8:26am

CALL FOR PAPERS

ACM Transactions Computing for Healthcare

Special Issue on Wearable Technologies for Smart Health

Guest Editors: