Learning symbolic abstractions from system execution traces

Learning symbolic abstractions from system execution traces

<p>This dissertation shows that symbolic abstractions for a system can be inferred from a set of system execution traces using a combination of Boolean satisfiability and program synthesis. In addition, the degree of completeness of an inferred abstraction can be evaluated by employing equival...

Mô tả đầy đủ

Chi tiết về thư mục
Tác giả chính:	Yogananda Jeppu, N
Tác giả khác:	Melham, T
Định dạng:	Luận văn
Ngôn ngữ:	English
Được phát hành:	2022
Những chủ đề:	Formal methods (Computer science)

Những quyển sách tương tự

Active learning of abstract system models from traces using model checking
Bằng: Yogananda Jeppu, N, et al.
Được phát hành: (2022)

Abstractions and formal verification of max-plus linear systems
Bằng: Syifaul Mufid, M
Được phát hành: (2021)

Learning concise models from long execution traces
Bằng: Yogananda Jeppu, N, et al.
Được phát hành: (2020)

Symbolic techniques for parameterised verification
Bằng: Hong, CD
Được phát hành: (2022)

Modern formal methods and applications /
Bằng: Gabbar, Hossam A
Được phát hành: (2006)

Inferring Symbolic Automata
Bằng: Dana Fisman, et al.
Được phát hành: (2023-04-01)

Understanding formal methods /
Bằng: 273376 Monin, Jean-Francois
Được phát hành: (2003)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Bằng: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), et al.
Được phát hành: (2007)

Algebraic Structure of Combined Traces
Bằng: Lukasz Mikulski
Được phát hành: (2013-08-01)

Semantic model driven engineering
Bằng: Milward, D
Được phát hành: (2020)

Constructing correct software /
Bằng: Cooke, John, 1947-
Được phát hành: (2005)

Software specification methods /
Bằng: Habrias, Henri, et al.
Được phát hành: (2006)

Predicate Abstraction via Symbolic Decision Procedures
Bằng: Shuvendu K. Lahiri, et al.
Được phát hành: (2007-04-01)

Active Learning Benchmarks
Bằng: Yogananda Jeppu, N
Được phát hành: (2022)

Active Learning Implementation
Bằng: Yogananda Jeppu, N
Được phát hành: (2023)

Formal methods for hardware verification : 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006 : advanced lectures /
Bằng: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), et al.
Được phát hành: (2006)

Validated designs for object-oriented systems /
Bằng: Fitzgerald, John, 1965-
Được phát hành: (2005)

Formal ontology in information systems : proceedings of the seventh International Conference (FOIS 2012) /
Bằng: International Conference (FOIS) (7th : 2012), et al.
Được phát hành: (2012)

Program synthesis from execution traces and demonstrations
Bằng: Yessenov, Kuat T
Được phát hành: (2016)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
Bằng: FORMATS 2007 (2007 : Salzburg, Austria), et al.
Được phát hành: (2007)

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
Bằng: FAST 2006 (2006 : Hamilton, Ont.), et al.
Được phát hành: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Bằng: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), et al.
Được phát hành: (2005)

Formal Methods : Applications And Technology :11th International Workshop, FMICS 2006 And 5th International Workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Bằng: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), et al.
Được phát hành: (2007)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
Bằng: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), et al.
Được phát hành: (2007)

Formal techniques for networked and distributed systems-- FORTE 2007 [electronic resource] : 27th IFIP WG 6.1 international conference, Tallinn, Estonia, June 27-29, 2007 : proceedings /
Bằng: FORTE 2007 (2007 : Tallinn, Estonia), et al.
Được phát hành: (2007)

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
Bằng: Tamajit Banerjee, et al.
Được phát hành: (2023-02-01)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
Bằng: 344883 Samek, Miro
Được phát hành: (2009)

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
Bằng: Cong-Vinh, Phan
Được phát hành: (c201)

Runtime execution tracing and alignment with PANDA
Bằng: Goggin, Leah(Leah G.)
Được phát hành: (2020)

The SoftPHY abstraction : from packets to symbols in wireless network design
Bằng: Jamieson, Kyle (Kyle Andrew), 1978-
Được phát hành: (2009)

Digital system verification : a combined formal methods and simulation framework /
Bằng: Li, Lun, 1970-, et al.
Được phát hành: (c201)

Modeling and verification of real-time systems /
Bằng: Navet, Nicolas
Được phát hành: (2008)

A formal refinement framework for the systems modeling language
Bằng: Jacobs, P
Được phát hành: (2015)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
Bằng: EPEW 2007 (2007 : Berlin, Germany), et al.
Được phát hành: (2007)

Formal Methods and Hybrid Real-Time Systems [electronic resource] : Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays /
Bằng: Jones, Cliff B., et al.
Được phát hành: (2007)

Aggregation of a heterogeneous population of solar panels: verification and control
Bằng: Peruffo, A
Được phát hành: (2020)

Speak Clearly, If You Speak at All; Carve Every Word Before You Let It Fall: Problems of Ambiguous Terminology in eLearning System Development
Bằng: Claire Gordon, et al.
Được phát hành: (2014-01-01)

Communicating embedded systems : software and design : formal methods /
Bằng: Jard, Claude, et al.
Được phát hành: (2010)

Safe and certified reinforcement learning with logical constraints
Bằng: Hasanbeig, MH
Được phát hành: (2020)

Automatic functions, linear time and learning
Bằng: John Case, et al.
Được phát hành: (2013-09-01)