Výsledky vyhledávání - "D.2.4 [Software/Program Verification]: Model checking"
-
1
Autoři: a další
Zdroj: Science of computer programming
76 (2011): 119–135. doi:10.1016/j.scico.2010.07.002
info:cnr-pdr/source/autori:ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F./titolo:A state%2Fevent-based model-checking approach for the analysis of abstract system properties/doi:10.1016%2Fj.scico.2010.07.002/rivista:Science of computer programming (Print)/anno:2011/pagina_da:119/pagina_a:135/intervallo_pagine:119–135/volume:76Témata: Model checking, Service-oriented computing, UML State machines, Formal methods, Temporal logic, D.2.4 Software/Program Verification. Model Checking, 0102 computer and information sciences, 02 engineering and technology, State machines, 01 natural sciences, UML, D.2.4 Software/Program Verification. Formal methods, Automotive systems Service-oriented computing, 0202 electrical engineering, electronic engineering, information engineering, Automotive systems, Software, F.4.1 Mathematical Logic. Temporal logic
Popis souboru: application/pdf
Přístupová URL adresa: https://hdl.handle.net/20.500.14243/21607
https://doi.org/10.1016/j.scico.2010.07.002
http://www.sciencedirect.com/science/article/pii/S0167642310001498
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6V17-50NBNJ5-2&_user=8746464&_coverDate=02/01/2011&_rdoc=1&_fmt=high&_orig=search&_origin=search&_sort=d&_docanchor=&view=c&_acct=C000031418&_version=1&_urlVersion=0&_userid=8746464&md5=e4483ebd7ac6c7f90fde54f4200cdfe0&searchtype=a
https://hdl.handle.net/2158/402310 -
2
Autoři:
Zdroj: FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering, pp. 10–17, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Ter Beek M. H.; Lluch Lafuente A.; Petrocchi M./congresso_nome:FMASPLE-SPLC'13-17th International Software Product Line Conference co-located Workshop on Formal Methods and Analysis in Software Product Line Engineering/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:10/pagina_a:17/intervallo_pagine:10–17
ACM International Conference Proceeding SeriesTémata: Maude, Model checking, Product families, QA75 Electronic computers. Computer science, Process algebra, 02 engineering and technology, Concurrent constraint programming, D.2.4 Software/Program Verification. Formal methods, Behavioural analyses, D.2.4 Software/Program Verification. Model checking, Validation, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
Popis souboru: application/pdf
Přístupová URL adresa: http://eprints.imtlucca.it/1589/1/paper.pdf
https://dblp.uni-trier.de/db/conf/splc/splc2013w.html#BeekLP13
https://dl.acm.org/citation.cfm?doid=2499777.2500722
http://fmt.isti.cnr.it/~mtbeek/FMSPLE13.pdf
http://fmt.isti.cnr.it/~mtbeek/slidesTokyo.pdf
https://dl.acm.org/doi/10.1145/2499777.2500722
https://core.ac.uk/display/18435001 -
3
Autoři:
Zdroj: info:cnr-pdr/source/autori:Gnesi S., Margaria T./titolo:Formal methods for industrial critical systems: a survey of applications/editore:/anno:2013
Témata: D.2.4 Software/Program Verification. Formal methods, Software engineering, Critical Systems, D.2.4 Software/Program Verification. Model checking, Formal methods, 7. Clean energy
Popis souboru: application/pdf
-
4
Autoři: a další
Zdroj: FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S, edited by Nakamura, M; Reiff-Marganiec, S, pp. 59–74. Amsterdam: IOS Press, 2009
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./titolo:Detecting policy conflicts by model checking UML state machines/titolo_volume:FEATURE INTERACTIONS IN SOFTWARE AND COMMUNICATION SYSTEMS Nakamura, M; Reiff-Marganiec, S/curatori_volume:Nakamura, M; Reiff-Marganiec, S/editore: /anno:2009
info:cnr-pdr/source/autori:Ter Beek M. H.; Gnesi S.; Montangero C.; Semini L./congresso_nome:10th International Conference on Feature Interactions in Telecommunications and Software Systems/congresso_luogo:Lisbon, PORTUGAL/congresso_data:JUN 11-12, 2009/anno:2009/pagina_da:59/pagina_a:74/intervallo_pagine:59–74Témata: D.2.4 Software/Program Verification. Formal methods, Model checking, D.2.4 Software/Program Verification. Model checking, Policy conflict, 16. Peace & justice, UML
Popis souboru: application/pdf
Přístupová URL adresa: https://ebooks.iospress.nl/publication/29829
https://arpi.unipi.it/handle/11568/198164
https://doi.org/10.3233/978-1-60750-014-8-59
https://dblp.uni-trier.de/db/conf/fiw/icfi2009.html#BeekGMS09
http://www.booksonline.iospress.nl/Content/View.aspx?piid=12328
https://hdl.handle.net/20.500.14243/88960
https://doi.org/10.3233/978-1-60750-014-8-59
https://hdl.handle.net/20.500.14243/12843
https://doi.org/10.3233/978-1-60750-014-8-59
http://ebooks.iospress.nl/publication/29829
https://hdl.handle.net/11568/198164 -
5
Autoři: a další
Zdroj: SPLC'13-17th International Software Product Line Conference, pp. 266–267, Tokyo, Japan, 26-30 August 2013
info:cnr-pdr/source/autori:Clarke D.; Schaefer I.; Ter Beek M. H.; Apel S.; Atlee J. M./congresso_nome:SPLC'13-17th International Software Product Line Conference/congresso_luogo:Tokyo, Japan/congresso_data:26-30 August 2013/anno:2013/pagina_da:266/pagina_a:267/intervallo_pagine:266–267Témata: D.2.2 Design Tools and Techniques, D.2.5 Testing and Debugging, Evolution, Formal methods, Testing, Verification, 02 engineering and technology, D.2.13 Reusable Software, Software Product Lines, D.2.11 Software Architectures, Semantics, D.2.4 Software/Program Verification. Formal methods, D.2.4 Software/Program Ver, D.2.4 Software/Program Verification. Model checking, D.2.4 Software/Program Verification. Validation, 0202 electrical engineering, electronic engineering, information engineering, Variability
Popis souboru: application/pdf
-
6
Autoři:
Zdroj: ISTI Technical reports, 2005
Témata: D.2.4 Software/Program Verification. Model checking, Stochastic model checking, stochastic process algebras, H.3.4 Systems and Software. Performance evaluation (efficiency and effectiveness)
Přístupová URL adresa: http://www.cnr.it/prodotto/i/160296
https://publications.cnr.it/doc/160296 -
7
Autoři:
Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p718-732, 15p
-
8
Autoři: a další
Zdroj: ACM / SIGPLAN Notices; Jan2016, Vol. 51 Issue 1, p84-96, 13p
-
9
Autoři: Cordeiro, Lucas
Zdroj: ICSE: International Conference on Software Engineering; 2010, p373-376, 4p, 2 Diagrams
Témata: EMBEDDED computer systems, COMPUTER software development, ALGORITHMS, COMPUTER programming, ELECTRONIC systems
-
10
Autoři: a další
Přispěvatelé: a další
Témata: Model checking, compliance, epistemic logic
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Témata: model transformation, UML, MARTE
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: Security, Model transformations, UML
Popis souboru: application/pdf
-
13
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science