The 30th anniversary of Java, being celebrated this year, offers a perfect opportunity to reflect on the remarkable changes ...

We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that checks if the given short ...