A tutorial on UPPAAL
| Autor: | Behrmann, Gerd, David, Alexandre, Larsen, Kim G., Bernardo, Marco, Corradini, Flavio |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2004 |
| Předmět: |
Safety property
Critical section business.industry Programming language Computer science Liveness property Interface (computing) Integer variable Software development Formal methods computer.software_genre Automaton Reachable state business Real-time operating system computer Simulation Computer Science::Formal Languages and Automata Theory |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783540230687 SFM Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, Bertinora, Italy, September 13-18, 2004, Revised Lectures, 200-236 STARTPAGE=200;ENDPAGE=236;TITLE=Formal Methods for the Design of Real-Time Systems |
| ISSN: | 0302-9743 |
| Popis: | This is a tutorial paper on the tool Uppaal. Its goal is to be a short introduction on the flavor of timed automata implemented in the tool, to present its interface, and to explain how to use the tool. The contribution of the paper is to provide reference examples and modeling patterns. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|