Certification

Systems that determine, based on the principles of science, engineering and measurement theory, whether an artifact satisfies accepted, well-defined and measurable criteria.
event

Visible to the public  VMCAI 2017
Jan 15, 2017 7:00 am - Jan 17, 2017 6:00 pm CET

18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Scope

event

Visible to the public  VMCAI 2017
Jan 15, 2017 7:00 am - Jan 17, 2017 6:00 pm CET

18th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2017)

VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

Scope

event

Visible to the public  CRTS 2016
Nov 29, 2016 7:00 am - 6:00 pm WET

9th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2016)

collocated with RTSS 2016

Background

forum

Visible to the public CfP: CRTS 2016

CALL FOR PAPERS - Submission deadline (extended): 25th September 2016 (23:59 GMT-12.00)

forum

Visible to the public CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment

CALL FOR PAPERS

3rd Workshop on Formal Integrated Development Environment (F-IDE2016)

A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus

Submission due: August 14, 2016
Website: https://sites.google.com/site/fideworkshop2016/

Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.

forum

Visible to the public CfP: F-IDE2016, 3rd Workshop on Formal Integrated Development Environment

CALL FOR PAPERS

3rd Workshop on Formal Integrated Development Environment (F-IDE2016)

A satellite workshop of FM2016, November 8, 2016, Limassol, Cyprus

Submission due: August 14, 2016
Website: https://sites.google.com/site/fideworkshop2016/

Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.

event

Visible to the public  F-IDE2016
Nov 08, 2016 7:00 am - 6:00 pm EET

3rd Workshop on Formal Integrated Development Environment (F-IDE2016)

A satellite workshop of FM2016

Formal Integrated Development Environment (F-IDE) is a workshop dedicated to formal tools for the rigorous specification, design, analysis, and documentation of a system.