Advertisement

Mosel: A sound and efficient tool for M2L(Str)

  • Peter Kelb
  • Tiziana Margaria
  • Michael Mendier
  • Claudia Gsottberger
Tool Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1254)

Keywords

Boolean Function Decision Procedure Finite Automaton Edge Label Sequential Circuit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    R.E. Bryant: “Graph-based algorithms for boolean function manipulation,” IEEE Trans. Computing, vol. C-35(8), August 1986, pp. 677–691.Google Scholar
  2. 2.
    A. Church: “Logic, arithmetic and automata,” Proc. Int. Congr. Math., Almqvist and Wiksells, Uppsala 1963, pp. 23–35.Google Scholar
  3. 3.
    daVinci: the tool is available via ftp at site ftp://ftp.uni-bremen.de/pub/graphics/dAVinciGoogle Scholar
  4. 4.
    J. HOpcrOfT: “An N log n algoRithm for miNimizing sTateS in a finite automaTon,” Proc. Int. Symp. On ThEory of Machines and Computations, Technion, Haifa (IL), Aug. 1971, pp.189–196.Google Scholar
  5. 5.
    J. Henriksen, J. JenSen, M. Jørgensen N. Klarlund, R. Paige, T. Rauhe, A. Sandholm: “Mona: MonadiC seCond-order logic in practice,” Proc. of TACAS'95, Aarhus (DK), May 1995, LNCS 1019, Springer Verlag, pp. 89–110.Google Scholar
  6. 6.
    P. Kelb, T. Margaria, M. Mendier, C. Gsottberger: “MOSEL: A FlexibLe ToolsET fOR Monadic Second-Order Logic,” TACAS'97, Enschede (NL), April 1997, LNCS 1217, Springer Verlag, pp. 183–202.Google Scholar
  7. 7.
    T. MArgaRia: “Fully AutOmatic Verification and ERror DetEction for Parameterized Iterative Sequential Circuits”, Proc. TACAS'96, Passau (D), March 1996, LNCS 1055, SpRinger Verlag, pp. 258–277.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Peter Kelb
    • 1
  • Tiziana Margaria
    • 1
  • Michael Mendier
    • 1
  • Claudia Gsottberger
    • 1
  1. 1.Dept. of Comp. ScienceUniversität PassauPassauGermany

Personalised recommendations