Verifying Quantitative Real-Time Properties of Synchronous Programs

Authors:
M. Jourdan;Florence Maraninchi;Alfredo Olivero
Affiliations:
-;-;-
Venue:
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Year:
1993

Citing 0
Cited 4

Static timing analysis of real-time systems

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
An Operational Semantics and Compiler for Real-Time Specifications

Integrated Computer-Aided Engineering
Behavioral types for embedded software: a survey

Component-Based Software Development for Embedded Systems
Argos: an automaton-based synchronous language

Computer Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract