Models having two kinds of components that produce the same or similar results.
event
Submitted by Anonymous on Wed, 10/05/2016 - 12:42pm
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
news
Submitted by Anonymous on Wed, 10/05/2016 - 12:32pm
Dear colleagues,
First of all, it is a distinct pleasure to introduce a stable version of the shiny new KeYmaera X theorem prover for hybrid systems.
http://keymaeraX.org/
If you're around beautiful Cyprus in November, please also come to the KeYmaera X tutorial at FM 2016
http://keymaerax.org/tutorial/FM-2016.html
We will be demonstrating how to conduct hybrid systems verification with KeYmaera X as well as a reasonable subset of its new features.
forum
Submitted by Anonymous on Wed, 07/06/2016 - 11:02am
event
Submitted by Anonymous on Wed, 07/06/2016 - 10:57am
CALL FOR PAPERS
Twelfth Haifa Verification Conference 2016 (HVC 2016)
November 14 - 17, 2016 | Haifa, Israel
Tutorials: November 14, 2016
Organized by IBM Research - Haifa
HVC Facebook page
forum
Submitted by Anonymous on Wed, 07/06/2016 - 10:35am
CALL FOR PAPERS: EXTENDED DEADLINES
event
Submitted by Anonymous on Wed, 07/06/2016 - 10:34am
21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
Overview
event
Submitted by Anonymous on Fri, 06/10/2016 - 10:08am
Call for Papers
Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy 2016)
Held in conjunction with ESWEEK 2016
October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/
forum
Submitted by Anonymous on Fri, 05/27/2016 - 1:16pm
Call for Papers
Held in conjunction with ESWEEK 2016
October 6 2016 | Pittsburgh, PA, USA | http://www.cyphy.org/
