LMNtal Model Checking using an Integrated Development Environment

LMNtal was designed and implemented as a unifying computational model based on hierarchical graph rewriting. In pursuit of its application to the fields of verification and search, the system has recently evolved into a model checker that employs LMNtal as a modeling language, and we have been accum...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Computer Software 2010/10/26, Vol.27(4), pp.4_197-4_214
Hauptverfasser:	AYANO, Takayuki, HORI, Taisuke, IWASAWA, Hiroki, OGAWA, Seiji, UEDA, Kazunori
Format:	Artikel
Sprache:	eng ; jpn
Schlagworte:	Artificial intelligence Checkers Computer programs Concurrency Mathematical models Program verification (computers) Searching Tasks Visualization
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!