Uppaal
1 program
Added 2026-02-13T10:13:27Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: UPPAAL
Provenance: commit 8eaac95555 · authored 2026-02-13T11:14:16+01:00 · agent claude-code · model sonnet
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Simple Timed Automaton
Provenance: commit 8eaac95555 · authored 2026-02-13T11:14:16+01:00 · agent claude-code · model sonnet · WebSearch disabled
<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat System 1.1//EN' 'http://www.it.uu.se/research/group/darts/uppaal/flat-1_2.dtd'>
<nta>
<declaration>// Global declarations
clock x;
</declaration>
<template>
<name>Process</name>
<declaration>// Local declarations</declaration>
<location id="id0" x="0" y="0">
<name>Start</name>
</location>
<location id="id1" x="200" y="0">
<name>End</name>
</location>
<init ref="id0"/>
<transition>
<source ref="id0"/>
<target ref="id1"/>
<label kind="guard" x="50" y="-30">x >= 5</label>
<label kind="assignment" x="50" y="-10">x = 0</label>
</transition>
</template>
<system>// System declarations
P = Process();
system P;
</system>
</nta>