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...

Detaylı Bibliyografya
Yazar:	Yogananda Jeppu, N
Diğer Yazarlar:	Melham, T
Materyal Türü:	Tez
Dil:	English
Baskı/Yayın Bilgisi:	2022
Konular:	Formal methods (Computer science)

Benzer Materyaller

Active learning of abstract system models from traces using model checking
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2022)

Abstractions and formal verification of max-plus linear systems
Yazar:: Syifaul Mufid, M
Baskı/Yayın Bilgisi: (2021)

Learning concise models from long execution traces
Yazar:: Yogananda Jeppu, N, ve diğerleri
Baskı/Yayın Bilgisi: (2020)

Symbolic techniques for parameterised verification
Yazar:: Hong, CD
Baskı/Yayın Bilgisi: (2022)

Modern formal methods and applications /
Yazar:: Gabbar, Hossam A
Baskı/Yayın Bilgisi: (2006)

Inferring Symbolic Automata
Yazar:: Dana Fisman, ve diğerleri
Baskı/Yayın Bilgisi: (2023-04-01)

Understanding formal methods /
Yazar:: 273376 Monin, Jean-Francois
Baskı/Yayın Bilgisi: (2003)

Integrated formal methods : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /
Yazar:: International Conference on Integrated Formal Methods (6th : 2007 : Oxford, England), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Algebraic Structure of Combined Traces
Yazar:: Lukasz Mikulski
Baskı/Yayın Bilgisi: (2013-08-01)

Semantic model driven engineering
Yazar:: Milward, D
Baskı/Yayın Bilgisi: (2020)

Constructing correct software /
Yazar:: Cooke, John, 1947-
Baskı/Yayın Bilgisi: (2005)

Software specification methods /
Yazar:: Habrias, Henri, ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Predicate Abstraction via Symbolic Decision Procedures
Yazar:: Shuvendu K. Lahiri, ve diğerleri
Baskı/Yayın Bilgisi: (2007-04-01)

Active Learning Benchmarks
Yazar:: Yogananda Jeppu, N
Baskı/Yayın Bilgisi: (2022)

Active Learning Implementation
Yazar:: Yogananda Jeppu, N
Baskı/Yayın Bilgisi: (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 /
Yazar:: International School on Formal Methods for the Design of Computer, Communication, and Software Systems (6th : 2006 : Bertinoro, Italy), ve diğerleri
Baskı/Yayın Bilgisi: (2006)

Validated designs for object-oriented systems /
Yazar:: Fitzgerald, John, 1965-
Baskı/Yayın Bilgisi: (2005)

Formal ontology in information systems : proceedings of the seventh International Conference (FOIS 2012) /
Yazar:: International Conference (FOIS) (7th : 2012), ve diğerleri
Baskı/Yayın Bilgisi: (2012)

Program synthesis from execution traces and demonstrations
Yazar:: Yessenov, Kuat T
Baskı/Yayın Bilgisi: (2016)

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007 : Proceedings /
Yazar:: FORMATS 2007 (2007 : Salzburg, Austria), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Formal aspects in security and trust : Fourth international workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006 : revised selected papers /
Yazar:: FAST 2006 (2006 : Hamilton, Ont.), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings /
Yazar:: International Conference on Formal Engineering Methods (7th : 2005 : Manchester, England), ve diğerleri
Baskı/Yayın Bilgisi: (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 /
Yazar:: International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Formal methods and software engineering: 9th international conference on formal engineering methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15/
Yazar:: International Conference on Formal Engineering Methods (9th : 2007 : Boca Raton, Fla.), ve diğerleri
Baskı/Yayın Bilgisi: (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 /
Yazar:: FORTE 2007 (2007 : Tallinn, Estonia), ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Fast Symbolic Algorithms for Omega-Regular Games under Strong Transition Fairness
Yazar:: Tamajit Banerjee, ve diğerleri
Baskı/Yayın Bilgisi: (2023-02-01)

Practical UML statecharts in C/C++ : event-driven programming for embedded systems /
Yazar:: 344883 Samek, Miro
Baskı/Yayın Bilgisi: (2009)

Formal and practical aspects of autonomic computing and networking : specification, development, and verification /
Yazar:: Cong-Vinh, Phan
Baskı/Yayın Bilgisi: (c201)

Runtime execution tracing and alignment with PANDA
Yazar:: Goggin, Leah(Leah G.)
Baskı/Yayın Bilgisi: (2020)

The SoftPHY abstraction : from packets to symbols in wireless network design
Yazar:: Jamieson, Kyle (Kyle Andrew), 1978-
Baskı/Yayın Bilgisi: (2009)

Digital system verification : a combined formal methods and simulation framework /
Yazar:: Li, Lun, 1970-, ve diğerleri
Baskı/Yayın Bilgisi: (c201)

Modeling and verification of real-time systems /
Yazar:: Navet, Nicolas
Baskı/Yayın Bilgisi: (2008)

A formal refinement framework for the systems modeling language
Yazar:: Jacobs, P
Baskı/Yayın Bilgisi: (2015)

Formal methods and stochastic models for performance evaluation : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September, 2007 : proceedings /
Yazar:: EPEW 2007 (2007 : Berlin, Germany), ve diğerleri
Baskı/Yayın Bilgisi: (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 /
Yazar:: Jones, Cliff B., ve diğerleri
Baskı/Yayın Bilgisi: (2007)

Aggregation of a heterogeneous population of solar panels: verification and control
Yazar:: Peruffo, A
Baskı/Yayın Bilgisi: (2020)

Speak Clearly, If You Speak at All; Carve Every Word Before You Let It Fall: Problems of Ambiguous Terminology in eLearning System Development
Yazar:: Claire Gordon, ve diğerleri
Baskı/Yayın Bilgisi: (2014-01-01)

Communicating embedded systems : software and design : formal methods /
Yazar:: Jard, Claude, ve diğerleri
Baskı/Yayın Bilgisi: (2010)

Safe and certified reinforcement learning with logical constraints
Yazar:: Hasanbeig, MH
Baskı/Yayın Bilgisi: (2020)

Automatic functions, linear time and learning
Yazar:: John Case, ve diğerleri
Baskı/Yayın Bilgisi: (2013-09-01)