Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

2 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction'. Sammen danner de et unikt fingeraftryk.

Computer Science