Guided synthesis of control programs using uppaal

Guided synthesis of control programs using uppaal

Article

;

;

Pettersson, Paul

Published in: Nordic journal of computing 8 (2001) : 1, s. 43-64

Saved in:

Language

English

Classification

acmccs D.1.2
acmccs D.2.2
acmccs D.2.4
acmccs F.3.1
acmccs I.6.4
acmccs J.6

Subjects

real-time verification

guided model-checking

program synthesis

distributed systems