Enhancing active model learning with equivalence checking using simulation relations

Enhancing active model learning with equivalence checking using simulation relations

We present a new active model-learning approach to generating abstractions of a system from its execution traces. Given a system and a set of observables to collect execution traces, the abstraction produced by the algorithm is guaranteed to admit all system traces over the set of observables. To ac...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Yogananda Jeppu, N, Melham, T, Kroening, D
Natura:	Journal article
Lingua:	English
Pubblicazione:	Springer 2023

Documenti analoghi

Active learning of abstract system models from traces using model checking
di: Yogananda Jeppu, N, et al.
Pubblicazione: (2022)

Learning concise models from long execution traces
di: Yogananda Jeppu, N, et al.
Pubblicazione: (2020)

Equivalence checking using trace partitioning
di: Mukherjee, R, et al.
Pubblicazione: (2015)

DeepSynth: Automata synthesis for automatic task segmentation in deep reinforcement learning
di: Hasanbeig, M, et al.
Pubblicazione: (2021)

Equivalence checking of a floating-point unit against a high-level C model
di: Mukherjee, R, et al.
Pubblicazione: (2016)

Active Learning Implementation
di: Yogananda Jeppu, N
Pubblicazione: (2023)

Active Learning Benchmarks
di: Yogananda Jeppu, N
Pubblicazione: (2022)

Learning symbolic abstractions from system execution traces
di: Yogananda Jeppu, N
Pubblicazione: (2022)

Automatic simulation method for functional equivalence check
di: Liao Lu, et al.
Pubblicazione: (2019-08-01)

Model-Checking Process Equivalences
di: Martin Lange, et al.
Pubblicazione: (2012-10-01)

Race analysis for systemC using model checking
di: Blanc, N, et al.
Pubblicazione: (2010)

Static Analysis to Enhance the Power of Model Checking for Concurrent Software
di: Clarke, E, et al.
Pubblicazione: (2007)

Model Checking with Abstraction for Web Services
di: Sharygina, N, et al.
Pubblicazione: (2007)

Computing Over−Approximations with Bounded Model Checking
di: Kroening, D
Pubblicazione: (2006)

Computing over-approximations with bounded model checking
di: Kroening, D
Pubblicazione: (2006)

Property-driven fence insertion using reorder bounded model checking
di: Joshi, S, et al.
Pubblicazione: (2015)

Property-Driven Fence Insertion using Reorder Bounded Model Checking
di: Joshi, S, et al.
Pubblicazione: (2015)

Integrating Model Checking and Theorem Proving in a Reflective Functional Language
di: Melham, T
Pubblicazione: (2004)

Symbolic model checking for asynchronous Boolean programs
di: Cook, B, et al.
Pubblicazione: (2005)

Equivalence checking of retimed circuits
di: Netolická, Karolína
Pubblicazione: (2006)

Coverage in interpolation-based model checking
di: Chockler, H, et al.
Pubblicazione: (2010)

Model Checking Concurrent Linux Device Drivers
di: Witkowski, T, et al.
Pubblicazione: (2007)

Model checking concurrent linux device drivers
di: Witkowski, T, et al.
Pubblicazione: (2007)

Longitudinal Trim and Stability Analysis of Generic Air- Breathing Hypersonic Vehicle using Bifurcation Method
di: Ritesh SINGH, et al.
Pubblicazione: (2022-09-01)

On the equivalence-checking problem for polysemantic models of sequential programs.
di: I.M. Zakharyaschev, et al.
Pubblicazione: (2004-01-01)

Behavioral Consistency of C and Verilog Programs Using Bounded Model Checking
di: Kroening, D, et al.
Pubblicazione: (2003)

Automatic analysis of DMA races using model checking and k-induction
di: Donaldson, A, et al.
Pubblicazione: (2011)

Automatic analysis of DMA races using model checking and k-induction.
di: Donaldson, A, et al.
Pubblicazione: (2011)

Computational challenges in bounded model checking
di: Clarke, E, et al.
Pubblicazione: (2005)

Completeness and Complexity of Bounded Model Checking
di: Clarke, E, et al.
Pubblicazione: (2004)

Computational challenges in bounded model checking.
di: Clarke, E, et al.
Pubblicazione: (2005)

Computational Challenges in Bounded Model Checking
di: Clarke, E, et al.
Pubblicazione: (2015)

Equivalence checking of quantum circuits by nonlocality
di: Weixiao Sun, et al.
Pubblicazione: (2022-11-01)

Approximation Refinement for Interpolation−Based Model Checking
di: D'Silva, V, et al.
Pubblicazione: (2008)

Approximation Refinement for Interpolation−Based Model Checking
di: D'Silva, V, et al.
Pubblicazione: (2008)

Formalizing and checking thread refinement for data-race-free execution models
di: Poetzl, D, et al.
Pubblicazione: (2016)

Formalizing and Checking Thread Refinement for Data-Race-Free Execution Models
di: Kroening, D, et al.
Pubblicazione: (2016)

Checking consistency of C and Verilog using predicate abstraction and induction
di: Kroening, D, et al.
Pubblicazione: (2004)

Checking Consistency of C and Verilog using Predicate Abstraction and Induction
di: Kroening, D, et al.
Pubblicazione: (2004)

Computing mutation coverage in interpolation-based model checking
di: Chockler, H, et al.
Pubblicazione: (2012)