An Open-Bisimilarity Based Automated Verification Tool for -Calculus Family of Process Calculi

The complexity of designing concurrent and highly-evolving interactive systems has grown to a point where system verification has become a hurdle. Fortunately, formal verification methods have arrived at the right time. They detect errors, inconsistencies and incompleteness at early development stag...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	International journal of software science and computational intelligence 2012-01, Vol.4 (1), p.55-83
Hauptverfasser:	Rahimi, Shahram, Rias, Rishath A. S, Khorasani, Elham S
Format:	Artikel
Sprache:	eng
Schlagworte:	Automated Automation Computer programs Expert systems Formal specifications Interactive systems Mathematical models Performance evaluation Program verification (computers) Software Specification and description languages Specifications Systems design Verification
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!