Timed traces and their applications in specification and verification of distributed real-time systems

Proceedings of the Third Symposium on Information and Communication Technology - SoICT '12 ◽

10.1145/2350716.2350723 ◽

2012 ◽

Author(s):

Do Van Chieu ◽

Dang Van Hung

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Specification and verification of real-time systems using POLA

International Journal of Critical Computer-Based Systems ◽

10.1504/ijccbs.2011.042332 ◽

2011 ◽

Vol 2 (3/4) ◽

pp. 332 ◽

Author(s):

Florent Peres ◽

Pierre Emmanue Hladik ◽

Francois Vernadat

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Specification and verification of timing properties of distributed real-time systems

IEEE TENCON'90: 1990 IEEE Region 10 Conference on Computer and Communication Systems. Conference Proceedings ◽

10.1109/tencon.1990.152615 ◽

2002 ◽

Author(s):

R. Mall ◽

L.M. Patnaik

Keyword(s):

Real Time ◽

Real Time Systems ◽

Timing Properties ◽

Specification And Verification ◽

Download Full-text

Invited Tool Demonstration Moby/RT: A Tool for Specification and Verification of Real-Time Systems

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(05)82595-2 ◽

2004 ◽

Vol 82 (2) ◽

pp. 346

Author(s):

Henning Dierks

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Time and probabilities in specification and verification of real-time systems

Fourth Euromicro workshop on Real-Time Systems ◽

10.1109/emwrt.1992.637477 ◽

1992 ◽

Author(s):

H.A. Hansson

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Formal specification and verification of real-time systems using Graph Grammars

Journal of the Brazilian Computer Society ◽

10.1590/s0104-65002007000400005 ◽

2007 ◽

Vol 13 (4) ◽

pp. 51-68

Author(s):

Leonardo Michelon ◽

Simone André da Costa ◽

Leila Ribeiro

Keyword(s):

Real Time ◽

Formal Specification ◽

Graph Grammars ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

A new approach to the specification and verification of real-time systems

Proceedings 13th Euromicro Conference on Real-Time Systems ◽

10.1109/emrts.2001.934025 ◽

2002 ◽

Author(s):

G. Logothetis ◽

K. Schneider

Keyword(s):

Real Time ◽

Real Time Systems ◽

New Approach ◽

Specification And Verification ◽

Download Full-text

Specification and Verification of Distributed Real-Time Systems

Reliability and Robustness of Engineering Software II ◽

10.1007/978-94-011-3026-4_8 ◽

1991 ◽

pp. 99-113 ◽

Author(s):

M. J. Wieczorek ◽

J. Vytopil

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Specification and Verification of Polling Real-Time Systems

Ausgezeichnete Informatikdissertationen 1999 ◽

10.1007/978-3-322-84823-9_3 ◽

2000 ◽

pp. 32-41 ◽

Author(s):

Henning Dierks

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text

Real-time systems: A survey of approaches to formal specification and verification

Lecture Notes in Computer Science - Software Engineering — ESEC '93 ◽

10.1007/3-540-57209-0_3 ◽

1993 ◽

pp. 11-36

Author(s):

Carlo Ghezzi ◽

Miguel Felder ◽

Carlo Bellettini

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Systems ◽

Formal Specification And Verification ◽

Specification And Verification ◽

Download Full-text

Real-time systems specification and verification

Proceedings of the 8th international symposium on System synthesis - ISSS '95 ◽

10.1145/224486.224502 ◽

1995 ◽

Author(s):

Joseph Sifakis

Keyword(s):

Real Time ◽

Real Time Systems ◽

Specification And Verification ◽

Download Full-text