scientific article; zbMATH DE number 5499354

MaRDI QIDQ5506370zbMATH OpenFDO

Authors Agata Janowska, Paweł Janowski, Dobiesław Wróblewski

Publication date 28 January 2009

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Translation of timed Promela to timed automata with discrete data
• Developments in Language Theory
• Translating a continuous-time temporal logic into timed automata.
• Structural translation from time Petri nets to timed automata
• Action transducers and timed automata
• Formal Modeling and Analysis of Timed Systems
• A nonarchimedian discretization for timed languages
• From MITL to Timed Automata
• A new method for transforming timed automata
• scientific article; zbMATH DE number 1773082

Cited in

(5)

• Translation of interactive Datalog programs for microcontrollers to finite state machines
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Verification of Timed-Arc Petri Nets
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Translation of timed Promela to timed automata with discrete data

Describes a project that uses

Uses Software

• Uppaal2k
• VerICS
• HyTech

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5506370)