Reverse Engineering Through Automata Learning

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

Abstract

We suggest a method for constructing a system that needs to satisfy some given formal specification φ. In our setting, a black box system satisfying φ is given; we can only interface with the system through experiments and cannot duplicate it or modify its design. Instead of developing a system satisfying φ from scratch, either manually or through algorithmic synthesis, we use a reverse engineering method based on a combination of Angluin’s automata learning algorithm and model checking.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Science and Business Media Deutschland GmbH
Pages182-192
Number of pages11
DOIs
StatePublished - 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13065 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Bibliographical note

Funding Information:
The research was partially funded by Israeli Science Foundation grant 1464/18: “Efficient Runtime Verification for Systems with Lots of Data and its Applications.”

Publisher Copyright:
© 2021, Springer Nature Switzerland AG.

Fingerprint

Dive into the research topics of 'Reverse Engineering Through Automata Learning'. Together they form a unique fingerprint.

Cite this