A technique for establishing certain properties, usually expressed in temporal logic, for a system model.
event
Submitted by Anonymous on Fri, 07/15/2016 - 1:49pm
11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
Since 2005, the aim of MEMICS is to provide a scientific forum for doctoral and master students interested in applications of mathematical and engineering methods in computer science. Besides a rich technical programme (including invited talks, regular papers, and presentations), MEMICS also offers friendly social activities and exciting opportunities for meeting like-minded people.
forum
Submitted by Anonymous on Fri, 03/11/2016 - 11:30am
forum
Submitted by Anonymous on Mon, 02/15/2016 - 12:12pm
CALL FOR PAPERS
Quebec City, Canada | 23-26 August 2016 | http://www.concur2016.ulaval.ca/
co-located with the 13th QEST International Conference on Quantitative Evaluation of SysTems (QEST) and the 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS).
forum
Submitted by Anonymous on Tue, 12/08/2015 - 12:52pm
FIRST CALL FOR PAPERS
Special Issue of the SCP on Automated Verification of Critical Systems
Science of Computer Programming | Special Issue on Automated Verification of Critical Systems
Guest editors: Gudmund Grov & Andrew Ireland
forum
Submitted by Anonymous on Tue, 11/10/2015 - 3:08pm
event
Submitted by Anonymous on Tue, 11/10/2015 - 3:05pm
forum
Submitted by Anonymous on Wed, 07/08/2015 - 4:38pm
CALL FOR PAPERS
The 5th International IEEE Workshop on Software Certification (WoSoCer 2015)
November 2-5, 2015, Washington DC, USA
HIGHLIGHTS
