model checking / grumberg orna

Public ISBD Titre : model checking Type de document : texte imprimé Auteurs : grumberg orna, Auteur Editeur : mitpress Année de publication : 1999. Importance : 314.p. Présentation : couv:ill Format : 24.cm. ISBN/ISSN/EAN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion. model checking [texte imprimé] / grumberg orna, Auteur . - mitpress, 1999. . - 314.p. : couv:ill ; 24.cm. ISBN : 978-0-262-03270-4 Langues : Français (fre) Tags : model checking. Index. décimale : e375 Résumé : introduction modeling systems temporal loies the comptation tree logie ctl model cheeking ctl model checking binary decision diagram representing boolean formulas sysbolic model checking fixpoint representatins model checking for the u calculus model checking in practice model checking and automata theory partial order reduction equivalences and preorders between structures compositional reasoning abstraction symmetry infinite families of finite -state systems discrete real-time and quantitative temporal analysis continuous real time conclusion.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26345	E375 -06/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26346	E375 -06/2	Livre	Bibliothèque Centrale	Documentaires	Disponible

principles of model checking / baiaier christel

Public ISBD Titre : principles of model checking Type de document : texte imprimé Auteurs : baiaier christel, Auteur Editeur : mitpress Année de publication : 2008. Importance : 975.p. Présentation : couv:ill Format : 27.cm. ISBN/ISSN/EAN : 978-0-262-02649-9 Langues : Français (fre) Tags : principles of model checking Index. décimale : e001.42 Résumé : system verfication model checking modelling concurrent systems paralelism and commnication linear time properties linear time properties regular proerties automata on infinite words linear temporal logic automate baed ltl model checking complexity of ltl model checking probem computation tree logic sysmboic ctl model checking equivalences and abstraction a firs partition refinement algorithm partial order reduction the branching time ample set approach timed automata the tctl model checking algorithm probabilistic systems apendix :preli;inqries freauently used sysbols qnd notqtions. principles of model checking [texte imprimé] / baiaier christel, Auteur . - mitpress, 2008. . - 975.p. : couv:ill ; 27.cm. ISBN : 978-0-262-02649-9 Langues : Français (fre) Tags : principles of model checking Index. décimale : e001.42 Résumé : system verfication model checking modelling concurrent systems paralelism and commnication linear time properties linear time properties regular proerties automata on infinite words linear temporal logic automate baed ltl model checking complexity of ltl model checking probem computation tree logic sysmboic ctl model checking equivalences and abstraction a firs partition refinement algorithm partial order reduction the branching time ample set approach timed automata the tctl model checking algorithm probabilistic systems apendix :preli;inqries freauently used sysbols qnd notqtions.

Réservation

Réserver ce document

Exemplaires(2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
26453	e001.42-16/1	Livre	Bibliothèque Centrale	Documentaires	Disponible
26454	e001.42-16/2	Livre	Bibliothèque Centrale	Documentaires	Disponible