Quantitative Verification

A technique for establishing certain properties, usually expressed in temporal logic, for a system model.

Visible to the public Preliminary CfP: MEMOCODE'14, 12th ACM-IEEE Conference on Methods and Models for System Design

12th ACM/IEEE International Conference on Methods and Models for System Design (MEMOCODE'14)
Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland, 19-21 October, 2014
Collocated with FMCAD 2014


Visible to the public Physically Informed Assertions for CPS Development and Debugging


This project's objective is to enable assertion--driven development and debugging cyber-- physical systems (CPS). As opposed to traditional uses of assertions in software engineering, CPS demand a tight coupling of the cyber with the physical, including in system validation. This project will use mathematical models of key physical attributes to guide creation of assertions, to identify inconsistent or infeasible assertions, and to localize potential causes for CPS failures.


Visible to the public  SAC 2014
Mar 24, 2014 8:00 am - Mar 28, 2014 6:00 pm KST

ACM Symposium On Applied Computing

For the past twenty-eight years, the ACM Symposium on Applied Computing has been a primary gathering forum for applied computer scientists, computer engineers, software engineers, and application developers from around the world.
SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and is hosted by
Seoul National University, Kyungpook National University, Soongsil University and Dongguk University.