-
1
-
-
33244480569
-
Model checking of state chart models: Survey and research directions
-
cs.SE/0407038
-
P. Bhaduri and S. Ramesh. Model Checking of State chart Models: Survey and Research Directions. CoRR, cs.SE/0407038, 2004.
-
(2004)
CoRR
-
-
Bhaduri, P.1
Ramesh, S.2
-
2
-
-
84937557946
-
Nusmv 2: An opensource tool for symbolic model checking
-
A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In CAV, pages 359-364, 2002.
-
(2002)
CAV
, pp. 359-364
-
-
Cimatti, A.1
Clarke, E.M.2
Giunchiglia, E.3
Giunchiglia, F.4
Pistore, M.5
Roveri, M.6
Sebastiani, R.7
Tacchella, A.8
-
5
-
-
77951099874
-
Symbolic model checking of hierarchical UML state machines
-
Laboratory for Theoretical Computer Science, Espoo, Finland, December
-
J. Dubrovin and T. Junttila. Symbolic model checking of hierarchical UML state machines. Technical Report B23, Helsinki University of Technology, Laboratory for Theoretical Computer Science, Espoo, Finland, December 2007.
-
(2007)
Technical Report B23, Helsinki University of Technology
-
-
Dubrovin, J.1
Junttila, T.2
-
6
-
-
33745802027
-
Prism: A tool for automatic verification of probabilistic systems
-
volume 3920 of LNCS, Springer
-
A. Hinton, M. Kwiatkowska, G. Norman, and D. Parker. Prism: A tool for automatic verification of probabilistic systems. In Proc. 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06), volume 3920 of LNCS, pages 441-444. Springer, 2006.
-
(2006)
12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS06)
, pp. 441-444
-
-
Hinton, A.1
Kwiatkowska, M.2
Norman, G.3
Parker, D.4
-
8
-
-
84974676982
-
A probabilistic extension of uml statecharts: Specification and verification
-
W. Damm and E.-R. Olderog, editors, Lecture Notes in Computer Science 2469, Oldenburg, Germany, Springer
-
D. Jansen, H. Hermanns, and J. Katoen. A probabilistic extension of uml statecharts: Specification and verification. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-time and Fault-tolerant Systems, Lecture Notes in Computer Science 2469, pages 355-374, Oldenburg, Germany, 2002. Springer.
-
(2002)
Formal Techniques in Real-time and Fault-tolerant Systems
, pp. 355-374
-
-
Jansen, D.1
Hermanns, H.2
Katoen, J.3
-
9
-
-
0000381112
-
Automatic verification of a behavioural subset of UML state chart diagrams using the spin model-checker
-
December
-
D. Latella, I. Majzik, and M. Massink. Automatic Verification of a Behavioural Subset of UML State chart Diagrams Using the SPIN Model-checker. Formal Aspects of Computing, V11(6):637-664, December 1999.
-
(1999)
Formal Aspects of Computing
, vol.11
, Issue.6
, pp. 637-664
-
-
Latella, D.1
Majzik, I.2
Massink, M.3
-
15
-
-
84948990715
-
Tool support for visualizing CSP in UML
-
London, UK, Springer-Verlag
-
M. Y. Ng and M. J. Butler. Tool Support for Visualizing CSP in UML. In ICFEM'02, pages 287-298, London, UK, 2002. Springer-Verlag.
-
(2002)
ICFEM'02
, pp. 287-298
-
-
Ng, M.Y.1
Butler, M.J.2
-
16
-
-
0141684326
-
-
Feburary, Version 2.2.
-
OMG. Unified Modeling Language Superstructure Version 2.2. http://www.omg.org/spec/UML/2.2/Superstructure/PDF/, Feburary 2009.
-
(2009)
Unified Modeling Language Superstructure
-
-
-
18
-
-
78649825330
-
Model checking CSP revisited: Introducing a process analysis toolkit
-
Springer
-
J. Sun, Y. Liu, and J. S. Dong. Model Checking CSP Revisited: Introducing a Process Analysis Toolkit. In ISoLA 2008, pages 307-322. Springer, 2008.
-
(2008)
ISoLA 2008
, pp. 307-322
-
-
Sun, J.1
Liu, Y.2
Dong, J.S.3
-
19
-
-
71049137016
-
PAT: Towards flexible verification under fairness
-
Grenoble, France, June
-
J. Sun, Y. Liu, J. S. Dong and J. Pang. PAT: Towards Flexible Verification under Fairness. In CAV 2009, pages 702-708, Grenoble, France, June 2009.
-
(2009)
CAV 2009
, pp. 702-708
-
-
Sun, J.1
Liu, Y.2
Dong, J.S.3
Pang, J.4
-
20
-
-
77956104003
-
Specifying and verifying event-based fairness enhanced systems
-
volume 5256 of LNCS, Springer
-
J. Sun, Y. Liu, J. S. Dong, and H. H. Wang. Specifying and Verifying Event-based Fairness Enhanced Systems. In ICFEM 2008, volume 5256 of LNCS, pages 318-337. Springer, 2008.
-
(2008)
ICFEM 2008
, pp. 318-337
-
-
Sun, J.1
Liu, Y.2
Dong, J.S.3
Wang, H.H.4
-
21
-
-
33847312772
-
Improvements towards formalizing UML state diagrams in CSP
-
Washington, DC, USA, IEEE Computer Society
-
W. L. Yeung, K. R. P. H. Leung, J. Wang, and W. Dong. Improvements Towards Formalizing UML State Diagrams in CSP. In APSEC'05, pages 176-184, Washington, DC, USA, 2005. IEEE Computer Society.
-
(2005)
APSEC'05
, pp. 176-184
-
-
Yeung, W.L.1
Leung, K.R.P.H.2
Wang, J.3
Dong, W.4
|