Mapping timed automata to B
Ayoub, Anaheed; Wahba, Ayman; Sheirah, Mohamed;
Abstract
This paper presents the approach of the translation from timed automata into B-Method. We are modeling using a network of timed automata, extended with data types, which is the modeling language used for UPPAAL tool and convert this model into B-Method system. The integration of UPPAAL and B-Method gives the advantages of both tools; the UPPAAL modeling facility and the B-Method usability and available tools.© 2008 IEEE.
Other data
| Title | Mapping timed automata to B | Authors | Ayoub, Anaheed; Wahba, Ayman ; Sheirah, Mohamed | Keywords | B-method;Formal verification;Timed automata;UPPAAL | Issue Date | 1-Dec-2008 | Conference | Proceedings - 2008 3rd International Design and Test Workshop, IDT 2008 | ISBN | [9781424434770] | DOI | 10.1109/IDT.2008.4802508 | Scopus ID | 2-s2.0-64849088517 |
Recommend this item
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.