메뉴 건너뛰기




Volumn 9, Issue 2, 2007, Pages 119-132

VeriTech: A framework for translating among model description notations

Author keywords

Additional information about translations; Incompatibilities in translations Faithful translations; Translating model notations

Indexed keywords

COMPUTER SIMULATION; COMPUTER SYSTEMS PROGRAMMING; OPTIMIZATION; PROGRAM COMPILERS; PROGRAM TRANSLATORS; SYSTEMS ANALYSIS;

EID: 33847764576     PISSN: 14332779     EISSN: 14332787     Source Type: Journal    
DOI: 10.1007/s10009-006-0003-0     Document Type: Review
Times cited : (4)

References (37)
  • 2
    • 84881156185 scopus 로고    scopus 로고
    • VeriTech: Translating among specifications and verification tools-design principles
    • In: April 1999 At
    • GrumTerg, O., Katz, S.: VeriTech: translating among specifications and verification tools-design principles. In: Third Austria-Israel Symposium Software for Communication Technologies, April 1999 pp. 104-109, At http://www.cs.technion.ac.il/Labs/ssdl/veritech/
    • Third Austria-Israel Symposium Software for Communication Technologies , pp. 104-109
    • Grumberg, O.1    Katz, S.2
  • 3
    • 84944253557 scopus 로고    scopus 로고
    • Translations between textual transition systems and Petri nets
    • In: Springer Berlin Heidelberg New York
    • Korenblat, K., Grumberg, O., Katz, S.: Translations between textual transition systems and Petri nets. In: Proceedings of third IFM conference, vol. 2355 of LNCS, pp. 339-359. Springer Berlin Heidelberg New York (2002)
    • (2002) Proceedings of Third IFM Conference, Vol. 2355 of LNCS , pp. 339-359
    • Korenblat, K.1    Grumberg, O.2    Katz, S.3
  • 5
    • 33847691685 scopus 로고    scopus 로고
    • Property transformations for translations
    • Computer Science Department, The Technion
    • Berg, M., Katz, S.: Property transformations for translations. Technical Report CS-2002-05, Computer Science Department, The Technion (2002)
    • (2002) Technical Report CS-2002-05
    • Berg, M.1    Katz, S.2
  • 8
    • 0029251055 scopus 로고
    • Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS
    • Owre S., Rushby J., Shankar N., von Henke F. (1995). Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS. IEEE Trans. Softw Eng. 21(2):107-125
    • (1995) IEEE Trans. Softw Eng. , vol.21 , Issue.2 , pp. 107-125
    • Owre, S.1    Rushby, J.2    Shankar, N.3    von Henke, F.4
  • 9
    • 0030211668 scopus 로고    scopus 로고
    • Better verification through symmetry
    • Ip C.N., Dill D.L. (1996). Better verification through symmetry. For. Methods Syst Des. 9: 41-75
    • (1996) For. Methods Syst Des. , vol.9 , pp. 41-75
    • Ip, C.N.1    Dill, D.L.2
  • 14
    • 0004043073 scopus 로고
    • Bolognesi, T., Legemaat, J.v.d., Vissars C.A. (eds.): Kluwer oston
    • Bolognesi, T., Legemaat, J.v.d., Vissars C.A. (eds.): LOTO Sphere: software development with LOTOS. Kluwer oston, (1994)
    • (1994) LOTO Sphere: Software Development With LOTOS
  • 17
    • 0042955807 scopus 로고    scopus 로고
    • Using the bandera tool set to model-check properties of concurrent java software
    • In: June Invited tutorial paper
    • Hatcliff, J., Dwyer, M.: Using the bandera tool set to model-check properties of concurrent java software. In: International Conference on Concurrency Theory (CONCUR), June 2001. Invited tutorial paper
    • (2001) International Conference on Concurrency Theory (CONCUR)
    • Hatcliff, J.1    Dwyer, M.2
  • 18
    • 84948168602 scopus 로고    scopus 로고
    • dSPIN: A dynamic extension of SPIN
    • DAmartini, C., Iosif, R., Sisto, R.: DSPIN: a dynamic extension of SPIN. In: SPIN, pp. 261-276 (1999)
    • (1999) SPIN , pp. 261-276
    • Demartini, C.1    Iosif, R.2    Sisto, R.3
  • 21
    • 0000706110 scopus 로고    scopus 로고
    • Evaluating deadlock detection methods for concurrent software
    • Corbett J.C. (1996). Evaluating deadlock detection methods for concurrent software. IEEE Trans. Softw. Eng. 22(3):161-180
    • (1996) IEEE Trans. Softw. Eng. , vol.22 , Issue.3 , pp. 161-180
    • Corbett, J.C.1
  • 23
    • 84944404747 scopus 로고    scopus 로고
    • IF: A validation environment for timed asynchronous systems
    • In: July
    • Bozga, M., Fernandez, J., Ghirva, L., Graf, S., Krimm, J., Mounier, L.: IF: A validation environment for timed asynchronous systems. In: CAV 2000, LNCS 1855, pp. 543-547, July (2000) http://www-verimag.imag.fr/ DIST_SYS/IF/index.html
    • (2000) CAV 2000, LNCS 1855 , pp. 543-547
    • Bozga, M.1    Fernandez, J.2    Ghirva, L.3    Graf, S.4    Krimm, J.5    Mounier, L.6
  • 24
    • 33847720026 scopus 로고    scopus 로고
    • http://wwwbrauer.informatik.tu-muenchen.de/gruppen/theorie/KIT/
  • 26
    • 19644394518 scopus 로고    scopus 로고
    • Web services-based tool integration in the ETI platform
    • Margaria T. (2005). Web services-based tool integration in the ETI platform. J. Softw. Syst. Model. (SoSyM) 4:141-156
    • (2005) J. Softw. Syst. Model. (SoSyM) , vol.4 , pp. 141-156
    • Margaria, T.1
  • 28
    • 33847742302 scopus 로고    scopus 로고
    • http://www.cs.technion.ac.il/Labs/ssdl/veritech/
  • 30
    • 0043055250 scopus 로고    scopus 로고
    • Refinement with global equivalence proofs in temporal logic
    • In: Peled, D., Pratt, V., Holzmann, G. (eds.) American Mathematical Society
    • Katz, S. Refinement with global equivalence proofs in temporal logic. In: Peled, D., Pratt, V., Holzmann, G. (eds.) Partial Order Methods in Verification, DIMACS Series in Mathematics and Theoretical Computer Science, vol. 29, pp. 59-78. American Mathematical Society (1997)
    • (1997) Partial Order Methods in Verification, DIMACS Series in Mathematics and Theoretical Computer Science , vol.29 , pp. 59-78
    • Katz, S.1
  • 31
    • 0023365727 scopus 로고
    • Statecharts: A visual formalism for complex systems
    • Harel D. (1987). Statecharts: A visual formalism for complex systems. Sci. Comput. Program. 8:231-274
    • (1987) Sci. Comput. Program. , vol.8 , pp. 231-274
    • Harel, D.1
  • 35
    • 0023544236 scopus 로고
    • Introduction to the ISO specification language LOTOS
    • Bolognesi T., Brinksma E. (1987). Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. 14:25-59
    • (1987) Comput. Netw. ISDN Syst. , vol.14 , pp. 25-59
    • Bolognesi, T.1    Brinksma, E.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.