IEEE - Institute of Electrical and Electronics Engineers, Inc. - REVERT: Runtime Verification for Real-Time Systems

2016 IEEE Real-Time Systems Symposium (RTSS)

Author(s): Sangeeth Kochanthara ; Geoffrey Nelissen ; David Pereira ; Rahul Purandare
Sponsor(s): IEEE Comput. Soc.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2016
Conference Location: Porto, Portugal
Conference Date: 29 November 2016
Page(s): 365
ISBN (Electronic): 978-1-5090-5303-2
DOI: 10.1109/RTSS.2016.044
Regular:

Real-time systems are becoming more complex and open, thus increasing their development and verification costs. Although several static verification tools have been proposed over the last decades,... View More

Advertisement