SCOPUS 정보 검색 플랫폼

Conference Proceedings of 2015 2nd International Conference on Knowledge-Based Engineering and Innovation, KBEI 2015

Volumn , Issue , 2016, Pages 797-802

Automatic verification of uml state chart by bogor model checking tool: Automatic formal verification of network and distributed systems

(2) Neysian, Behzad Soleimani a Babamir, Seyed Morteza a

a UNIVERSITY OF KASHAN (Iran)

Author keywords

Automation Model Checking; BOGOR; Dead Lock; PAT; UML State Machine

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER HARDWARE DESCRIPTION LANGUAGES; ENGINEERING RESEARCH; FORMAL LANGUAGES; FORMAL METHODS; FORMAL VERIFICATION; KNOWLEDGE BASED SYSTEMS; SOFTWARE DESIGN; SPECIFICATIONS; VERIFICATION;

AUTOMATIC VERIFICATION; AUTOMATION MODEL; BOGOR; DEAD LOCK; SEMI-FORMAL LANGUAGES; SOFTWARE SPECIFICATION; UML STATE MACHINE; VALIDATION AND VERIFICATION;

MODEL CHECKING;

EID: 84971474077 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1109/KBEI.2015.7436146 Document Type: Conference Paper

Times cited : (2)

References (11)

1
- 84964946779
- J. Rumbaugh, I. Jacobson, and G. Booch, "The unified modeling language reference manual," 1999.
- (1999) The Unified Modeling Language Reference Manual
- Rumbaugh, J.¹ Jacobson, I.² Booch, G.³

2
- 77956113168
- An automatic approach to model checking UML state Machines
- S. J. Zhang and Y. Liu, "An automatic approach to model checking UML state machines," in Secure Software Integration and Reliability Improvement Companion (SSIRI-C), 2010 Fourth International Conference on, 2010, pp. 1-6.
- (2010) Secure Software Integration and Reliability Improvement Companion (SSIRI-C), 2010 Fourth International Conference On , pp. 1-6
- Zhang, S.J.¹ Liu, Y.²

3
- 51949106265
- 26202649: MIT press Cambridge
- C. Baier and J.-P. Katoen, Principles of model checking Vol. 26202649: MIT press Cambridge, 2008.
- (2008) Principles of Model Checking
- Baier, C.¹ Katoen, J.-P.²

4
- 84971414016
- December
- PAT. (December 2014). PAT:ProcessAnalysisToolkit. Available: http://www.patroot.com/
- (2014) PAT:Processanalysistoolkit

5
- 84859608488
- Springer
- W. M. P. V. d. Aalst, Process Mining: Springer, 2011.
- (2011) Process Mining
- Aalst, W.M.P.V.D.¹

6
- 70350222211
- PAT: Towards flexible verification under fairness
- J. Sun, Y. Liu, J. S. Dong, and J. Pang, "PAT: Towards flexible verification under fairness," in Computer Aided Verification, 2009, pp. 709-714.
- (2009) Computer Aided Verification , pp. 709-714
- Sun, J.¹ Liu, Y.² Dong, J.S.³ Pang, J.⁴

7
- 84971384220
- December
- Bogor. (December 2014). Available: http://bogor.projects.cis.ksu.edu
- (2014)

8
- 45849133937
- Bogor: A flexible framework for creating software model checkers
- M. B. Dwyer and J. Hatcliff, "Bogor: A flexible framework for creating software model checkers," in Testing: Academic and Industrial Conference-Practice And Research Techniques, 2006. TAIC PART 2006. Proceedings, 2006, pp. 3-22.
- (2006) Testing: Academic and Industrial Conference-Practice and Research Techniques, 2006. TAIC PART 2006. Proceedings , pp. 3-22
- Dwyer, M.B.¹ Hatcliff, J.²

9
- 56349140473
- J. T. Roff, UML: a beginner's guide: Osborne/McGraw-Hill, 2003.
- (2003) UML: A Beginner's Guide: Osborne/McGraw-Hill
- Roff, J.T.¹

10
- 84961382615
- The unified modeling language user guide
- G. Booch, The Unified Modeling Language User Guide, 2/E: Pearson Education India, 2005.
- (2005) 2/E: Pearson Education India
- Booch, G.¹

11
- 84971486891
- August 5 march
- D. Schumacher. (August 5, 2010, march 2013). problem Dining Philosophers. Available: http://www.dalnefre.com/wp/2010/08/dining-philosophers-in-humus/
- (2010) Problem Dining Philosophers
- Schumacher, D.¹

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