A technical operation or procedure that consists of determination of one or more characteristics of a given product, process or service according to a specified procedure.
event
Submitted by Anonymous on Mon, 12/22/2014 - 2:50pm
The 2nd International Competition on Runtime Verification will be held with RV 2015, September 22 - 25, 2015
The event will draw attention to the invaluable effort of software developers and researchers who contribute in this field by providing the community with new or updated tools, libraries and frameworks for the instrumentation and runtime verification of software
forum
Submitted by Anonymous on Mon, 12/22/2014 - 2:42pm
The 2nd International Competition on Runtime Verification
held with RV 2015, September 22 - 25, 2015 Vienna, Austria
video
Submitted by yitiangu on Wed, 12/03/2014 - 4:49pm
video
Submitted by pjseiler on Wed, 12/03/2014 - 1:42pm
video
Submitted by fainekos on Wed, 12/03/2014 - 1:21pm
video
Submitted by saad.walid on Wed, 12/03/2014 - 11:43am
forum
Submitted by Anonymous on Wed, 11/26/2014 - 3:57pm
27th International Conference on Computer Aided Verification (CAV 2015)
July 18-24 2015, San Francisco, California http://i-cav.org/2015/
Aims and Scope
event
Submitted by Anonymous on Wed, 11/26/2014 - 3:53pm
Graphs as Models is a satellite workshop of ETAPS 2015 -
held at Queen Mary University of London in the Mile End campus.
Graphs are used as models in all areas of computer science: examples are state space graphs, control flow graphs, syntax graphs, UML-type models of all kinds, network layouts, social networks, dependency graphs, and so forth. Used to model a particular phenomenon or process, graphs are then typically analyzed to find out properties of the modelled subject, or transformed to construct other types of models.
forum
Submitted by Anonymous on Wed, 11/26/2014 - 3:08pm
The 7th NASA Formal Methods Symposium
http://www.NASAFormalMethods.org/nfm2015
27 - 29 April 2015 | Pasadena, California, USA
THEME
The widespread use and increasing complexity of mission- and safety-critical systems require advanced techniques that address their specification, verification, validation, and certification.
forum
Submitted by Anonymous on Wed, 11/26/2014 - 3:03pm
Position type: Postdoc (Research Fellow) for 2 years.
Salary range: Between S$4000 and S$5000 monthly depending on background and experience.
Expected qualifications: PhD in Computer Science, Computer Engineering or related field. Research experience and interest in design and analysis of real-time scheduling algorithms is highly recommended.
