Benutzer: Gast  Login
Titel:

Learning Temporal Specifications from Imperfect Traces Using Bayesian Inference

Dokumenttyp:
Konferenzbeitrag
Autor(en):
Mrowca, Artur; Nocker, Martin; Steinhorst, Sebastian; Guennemann, Stephan
Stichworte:
bayesian inference, data-driven verification, path merging, specification mining
Kongress- / Buchtitel:
Proceedings of the 56th Design Automation Conference (DAC 2019)
Verlag / Institution:
ACM
Verlagsort:
New York, NY, USA
Jahr:
2019
Monat:
6
Seiten:
96:1--96:6
Print-ISBN:
978-1-4503-6725-7
Serientitel:
DAC '19
Volltext / DOI:
doi:10.1145/3316781.3317847
WWW:
https://s-steinhorst.github.io/PDF/2019-DAC-Learning Temporal Specifications from Imperfect Traces using Bayesian Inference.pdf
 BibTeX