MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Quantitative Analysis and Model Checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

ATOM

Quantitative Analysis and Model Checking
by Michael Huth, Marta Kwiatkowska — 1997 — In proceedings of the 12 IEEE Symposium On Logic In Computer Science
…Quantitative Analysis and Model Checking Michael Huth Department of Computing and Information…
Cited by 54 (10 self) – Add To MetaCart

Quantitative Analysis and Model Checking
by Michael Huth Department, Michael Huth, Marta Kwiatkowska — 1997 — In proceedings of the 12 IEEE Symposium On Logic In Computer Science
…Quantitative Analysis and Model Checking Michael Huth Department of Computing and Information…
Add To MetaCart

Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System
by Sergio Campos, Edmund M. Clarke, Orna Grumberg — 2000 — Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science
…Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a…
Cited by 15 (4 self) – Add To MetaCart

NuSMV Version 2:
by Bdd-Based Sat-Based Symbolic, A. Cimatti, E. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani
…-BASED - quantitative analysis - model checking BOUNDED MODEL CHECKER RECONSTRUCTION TRACE - reachability VERIFICATION…
Add To MetaCart

Nusmv Version 2: Bdd-Based + Sat-Based Symbolic Model Checking
by Scientifica E Tecnologica, A. Cimatti, Giunchiglia E, Pistore M, Roveri M, Sebastiani R, Tacchella A, Istituto Trentino Di Cultura, A. Cimatti, E. Giunchiglia, M. Pistore — 2001
… |=(K) Pfb.dimacs RBC ENGINE CNF CONVERSION BDD-BASED - quantitative analysis - model checking BOUNDED…
Add To MetaCart

Integrating BDD-based and SAT-based Symbolic Model Checking
by Alessandro Cimatti, Enrico Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani, Armando Tacchella, O Tacchella — 2002
… model checking, and quantitative analysis, in terms of the FSM data structures provided by BDD…
Cited by 10 (2 self) – Add To MetaCart

Simulating emergent properties of coordination in maude: the collective sorting case
by Matteo Casadei, Luca Gardelli, Mirko Viroli — 2006 — in 5th International Workshop on the Foundations of Coordination Languages and Software Architectures
… for quantitative analysis and model-checking [14]. A probabilistic extension to Klaim exists as well, called p…
Cited by 3 (3 self) – Add To MetaCart

Showing 1 through 7.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB