Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving

State Machine Graphical Animation (called SMGA) is a visualization tool that assists formal methods experts in conjecturing characteristics of a protocol/system. The characteristics guessed by using the tool can be used as lemma candidates to theorem prove that the protocol/system satisfies its desi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Multimedia tools and applications 2024-04, Vol.83 (12), p.36865-36898
Hauptverfasser:	Bui, Dang Duy, Tran, Duong Dinh, Ogata, Kazuhiro, Riesco, Adrian
Format:	Artikel
Sprache:	eng
Schlagworte:	1230: Sentient Multimedia Systems and Visual Intelligence Animation Case studies Computer animation Computer Communication Networks Computer Science Data Structures and Information Theory Formal method Grammars Multimedia Information Systems Operators (mathematics) Special Purpose and Application-Based Systems State machines Theorem proving
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!