The Use of JML in Embedded Real-Time Systems
Joe Kiniry was the keynote speaker at JTRES 2012. The title of his talk was The Use of JML in Embedded Real-Time Systems.
|
Abstract:
How might JML be applied to software systems written in RT Java? What are the key features of JML useful for safety-critical realtime systems? What are the engineering and research challenges? These are the topics of this talk. |