Title: | Active Learning of Abstract System Models from Traces using Model Checking |
---|---|
Links: | Homepage |
Authors: | Natasha Yogananda Jeppu |
Tom Melham | |
Daniel Kroening EMail | |
Remarks: | |
Topics: |
Bibtex:
@inproceedings{jmk2022, AUTHOR = { Jeppu, Natasha Yogananda and Melham, Tom and Kroening, Daniel }, TITLE = { Active Learning of Abstract System Models from Traces using Model Checking }, BOOKTITLE = { Design, Automation and Test in Europe (DATE) }, YEAR = { 2022 }, PUBLISHER = { IEEE }, PAGES = { 100--103 }, }
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.