Software verification using hybrid explicit and symbolic model checking

A computer-implemented method for verifying a target system includes defining a specification including properties applicable to the target system. Execution sequences of the target system are identified. A set of the execution sequences is grouped into an equivalence class characterized by a common...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Eisner, Cynthia Rae, Glazberg, Ziv, Keidar-Barner, Sharon, Rabinovitz, Ishai
Format:	Patent
Sprache:	eng
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!