Hierarchical set decision diagrams and regular models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5505 LNCS, Issue , 2009, Pages 1-15

  Thierry Mieg, Yann ^a   Poitrenaud, Denis ^a   Hamez, Alexandre ^a   Kordon, Fabrice ^a  

^a UNIVERSITÉ PIERRE ET MARIE CURIE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS AND DATA STRUCTURES; COMPLEX COMPOSITES; CONCURRENT MODELS; DECISION DIAGRAM; PROCESS CALCULI; STATE SPACE; STRUCTURED MODEL; SYMBOLIC MODEL CHECKING; SYNCHRONIZATION MECHANISMS; TRANSITION RELATIONS;

BIOMINERALIZATION; COMPUTER SOFTWARE; DATA STRUCTURES; MODEL CHECKING; ARTIFICIAL INTELLIGENCE; COMPUTERS;

SET THEORY; ALGORITHMS;

EID: 70350656382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00768-2_1     Document Type: Conference Paper

References (12)

1. Bahar, R.I., Frohm, E.A., Gaona, C.M., Hachtel, G.D.,Macii, E., Pardo, A., Somenzi, F.: Algebraic decision diagrams and their applications. FormalMethods in System Design 10(2/3), 171-206 (1997)
2. Behrmann, G., Larsen, K.G., Pearson, J., Weise, C., Yi, W.: Efficient timed reachability analysis using clock difference diagrams. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 341-353. Springer, Heidelberg (1999)
3. Bryant, R.: Graph-Based Algorithms for Boolean FunctionManipulation. IEEE Transactions on Computers 35(8), 677-691 (1986)
4. 20 states and beyond. Information and Computation (Special issue for best papers from LICS90) 98(2), 153-181 (1992)
5. Ciardo, G., Lüttgen, G., Miner, A.S.: Exploiting interleaving semantics in symbolic statespace generation. Formal Methods in System Design 31(1), 63-100 (2007)
6. Ciardo, G., Marmorstein, R., Siminiceanu, R.: Saturation unbound. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol. 2619, pp. 379-393. Springer, Heidelberg (2003)
7. Ciardo, G., Miner, A.S.: Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Eval. Rev. 32(4), 4-9 (2005)
8. Couvreur, J.-M., Encrenaz, E., Paviot-Adet, E., Poitrenaud, D., Wacrenier, P.-A.: Data Decision Diagrams for Petri Net Analysis. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, pp. 1-101. Springer, Heidelberg (2002)
9. Couvreur, J.-M., Thierry-Mieg, Y.: Hierarchical Decision Diagrams to Exploit Model Structure. In: Wang, F. (ed.) FORTE 2005. LNCS, vol. 3731, pp. 443-457. Springer, Heidelberg (2005)
10. Donatelli, S., Franceschinis, G.: The PSR Methodology: Integrating Hardware and Software Models. In: Proceedings of the 17th International Conference on Application and Theory of Petri Nets, London, UK, pp. 133-152. Springer, London (1996)
11. Hamez, A., Thierry-Mieg, Y., Kordon, F.: Hierarchical Set Decision Diagrams and Automatic Saturation. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 211-230. Springer, Heidelberg (2008)
12. Wang, F.: Formal verification of timed systems: A survey and perspective. IEEE 92(8) (August 2004)