Towards Automated Software Verification and Validation

Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present an efficient solution to verify software models which formally...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Asadollahi, S., Rafe, V., Rafeh, R.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	AGG Airports Bogor Computer bugs Design engineering Implants Layered Graph Transformation Systems LTL Model Checking Power engineering and energy Power system modeling Software design Software systems Software tools Usability
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Today, it's an important requirement to have software systems without any bug. Model checking has proven to be a viable solution for reasoning about behavior properties of many different software artifacts. In this paper, we present an efficient solution to verify software models which formally specified by layered graph transformation systems - special types of graph transformation systems - using a model checker called Bogor.
DOI:	10.1109/ICCTD.2009.164