Tool supported real-time system verification with combination of abstraction/deduction and model checking / Abstractions booléennes pour la vérification des systèmes temps-réel
👁 4 lượt xem↓ 0 lượt tải qua VietLexVietLex bảo vệ quyền riêng tư của bạn — không tracking, không chia sẻ thông tin tải về cho bên thứ ba.
📑 Trích dẫn đầy đủ (citation)
APA-like:
Tác giả chưa xác định. Tool supported real-time system verification with combination of abstraction/deduction and model checking / Abstractions booléennes pour la vérification des systèmes temps-réel. Thesis, HAL - Pháp.
Việt Nam (chuẩn TCVN 5453:1991):
. Tool supported real-time system verification with combination of abstraction/deduction and model checking / Abstractions booléennes pour la vérification des systèmes temps-réel. Thesis. HAL - Pháp. Truy cập từ .
Tóm tắt
This thesis provides an efficient formal scheme for the tool-supported real-time system verification by combination of abstraction-based deductive and model checking techniques in order to handle the limitations of the applied verification techniques. This method is based on IAR (Iterative Abstract Refinement) to compute finite state abstractions. Given a transition system and a finite set of predicates, this method determines a finite abstraction, where each state of the abstract state space is...