Old Web
English
Sign In
Acemap
>
Paper
>
Temporal Verification of Real-Time Systems
Temporal Verification of Real-Time Systems
1995
Sérgio Vale Aguiar Campos
Edmund M. Clarke
Wilfredo R. Marrero
Marius Minea
Hiromi Hiraishi
Keywords:
Computer science
Formal methods
High-level verification
Interval temporal logic
Real-time computing
Functional verification
Runtime verification
Intelligent verification
Computation tree logic
Formal verification
Artificial intelligence
Programming language
Temporal logic
Computer vision
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]