Conformance Checking of Real-Time Models - Symbolic Execution vs. Bounded Model Checking

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationTheory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
PublisherSpringer
Pages15-32
Number of pages18
Volume9660
DOIs
Publication statusPublished - 2016

Publication series

NameLecture Notes in Computer Science
PublisherSpringer

Fields of Expertise

  • Information, Communication & Computing

Cite this