Výsledky vyhľadávania - D.2.4 [Software/Program Verification]: Model checking

From Collective Adaptive Systems to Human Centric Computation and Back: Spatial Model Checking for Medical Imaging

Autori: Belmonte G Ciancia V Latella D a ďalší

Zdroj: FORECAST 2016-Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, pp. 81–92, Vienna, Austria, 8 July 2016
info:cnr-pdr/source/autori:Belmonte G.; Ciancia V.; Latella D.; Massink M./congresso_nome:FORECAST 2016-Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems/congresso_luogo:Vienna, Austria/congresso_data:8 July 2016/anno:2016/pagina_da:81/pagina_a:92/intervallo_pagine:81–92
Electronic Proceedings in Theoretical Computer Science, Vol 217, Iss Proc. FORECAST 2016, Pp 81-92 (2016)

Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, F.4.1 modal logic, Computer Vision and Pattern Recognition (cs.CV), Software/Program Verification, Computer Science - Computer Vision and Pattern Recognition, D.2.4 model checking, QA75.5-76.95, Model logics, Logic in Computer Science (cs.LO), 03 medical and health sciences, Medical Imaging, 0302 clinical medicine, Spatial Model-checking, Spatial Logics, Electronic computers. Computer science, QA1-939, Mathematical Logic, J.3 medical information systems, Mathematics

Popis súboru: application/pdf

Prístupová URL adresa: https://arxiv.org/pdf/1607.02235
http://arxiv.org/abs/1607.02235
https://doaj.org/article/1420478a0c3b4382ba5adc7c7f224e53
http://ui.adsabs.harvard.edu/abs/2016arXiv160702235B/abstract
https://www.arxiv.org/abs/1607.02235
https://arxiv.org/pdf/1607.02235.pdf

A state/event-based model-checking approach for the analysis of abstract system properties

Autori: ter Beek M H Fantechi A Gnesi S a ďalší

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:76

Predmety: 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 súboru: application/pdf

Prí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

Statistical Model Checking for Product Lines

Autori: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a ďalší

Prispievatelia: ter Beek, Maurice H Legay, Axel Lluch Lafuente, Alberto a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7 th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8

Predmety: F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Algebraic approaches to semantics, Statistical model checking, Markov processes, Software Product Lines, G.3 PROBABILITY AND STATISTICS, Programming languages, compilers, interpreters, Software engineering techniques, Quantitative Constraints, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Formal methods, Statistical Model Checking, D.2.13 SOFTWARE ENGINEERING. Reusable Software. Domain engineering, 02 engineering and technology, [INFO] Computer Science [cs], Artificial intelligence (incl. robotics), F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Process models, F.3.2 LOGICS AND MEANINGS OF PROGRAMS. Semantics of Programming Languages, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Model checking, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification. Statistical methods, Logics and meanings of programs, 0202 electrical engineering, electronic engineering, information engineering, Computation by abstract devices, Mathematical logic and formal languages, Probabilistic Models

Popis súboru: application/pdf

Prístupová URL adresa: https://backend.orbit.dtu.dk/ws/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://inria.hal.science/hal-01406531v1
https://link.springer.com/10.1007/978-3-319-47166-2_8
https://hal.inria.fr/hal-01406531
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#BeekLLV16
https://hal.inria.fr/hal-01406531/document
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_8/fulltext.html
https://orbit.dtu.dk/files/127270862/Statistical_Model_Checking_for_Product_Lines_postprint.pdf
https://hdl.handle.net/20.500.14243/321030
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8
https://orbit.dtu.dk/en/publications/d09e64ef-2992-4962-9fab-b03a87e3986c
https://hdl.handle.net/11382/534305
https://doi.org/10.1007/978-3-319-47166-2_8
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_8

A Tool-Chain for Statistical Spatio-Temporal Model Checking of Bike Sharing Systems

Autori: Ciancia V Latella D Massink M a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783319471655
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673

Predmety: F.4.1 MATHEMATICAL LOGIC AND FORMAL LANGUAGES. Mathematical Logic, D.2.4 SOFTWARE ENGINEERING. Software/Program Verification, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, 7. Clean energy, 3. Good health, Collective adaptive systems, MultiVeStA, Spatio-temporal model checking, Statistical Model Checking, Spatial Logics, 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, Statistical Model-checking, Spatial Logics Model-checking, Bike-sharing, Smart cities

Popis súboru: application/pdf

Prístupová URL adresa: https://rd.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46/fulltext.html
https://dblp.uni-trier.de/db/conf/isola/isola2016-1.html#CianciaLMPV16
https://link.springer.com/10.1007/978-3-319-47166-2_46
https://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/20.500.14243/318789
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46
https://hdl.handle.net/11382/534302
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46
https://doi.org/10.1007/978-3-319-47166-2_46

Detecting policy conflicts by model checking UML state machines

Autori: Ter Beek M H Gnesi S Montangero C a ďalší

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–74

Predmety: 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 súboru: application/pdf

Prí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

On the Validation of an Interlocking System by Model-Checking

Autori: Bonacchi A Fantechi A

Zdroj: Lecture Notes in Computer Science ISBN: 9783319107011
FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference, pp. 94–108, Florence, Italy, 11-12 September 2014
info:cnr-pdr/source/autori:Bonacchi A.; Fantechi A./congresso_nome:FMICS 2014-Formal Methods for Industrial Critical Systems. 19th International Conference/congresso_luogo:Florence, Italy/congresso_data:11-12 September 2014/anno:2014/pagina_da:94/pagina_a:108/intervallo_pagine:94–108

Predmety: D.2.4 Software/Program Verification. Formal methods, Model checking, Railway Signalling Systems, Interlocking systems, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Popis súboru: application/pdf

Prístupová URL adresa: https://link.springer.com/content/pdf/10.1007/978-3-319-10702-8_7.pdf
https://dblp.uni-trier.de/db/conf/fmics/fmics2014.html#BonacchiF14
https://link.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://rd.springer.com/chapter/10.1007/978-3-319-10702-8_7
https://hdl.handle.net/20.500.14243/272347
https://doi.org/10.1007/978-3-319-10702-8_7
http://link.springer.com/chapter/10.1007/978-3-319-10702-8_7#page-1

A model checking framework for (Mobile) UML statecharts

Autori: Gnesi S. Mazzanti F.

Zdroj: Foundations of Global Computing, Schloss Dagstuhl, Wadern, Germ, 20/25/02 2005
info:cnr-pdr/source/autori:Gnesi S.; Mazzanti F./congresso_nome:Foundations of Global Computing/congresso_luogo:Schloss Dagstuhl, Wadern, Germ/congresso_data:20%2F25%2F02 2005/anno:2005/pagina_da:/pagina_a:/intervallo_pagine

Predmety: Mobile UML statecharts, Model checking, Action/State based Temporal Logic, D.2.4 Software/Program Verification, F.3.1 Specifying and Verifying and Reasoning about Programs

Prístupová URL adresa: https://publications.cnr.it/doc/120530
http://www.cnr.it/prodotto/i/120530

A Model-Checking Approach for Service Component Architectures

Autori: Abreu J Mazzanti F Fiadeiro JL a ďalší

Prispievatelia: Abreu J Mazzanti F Fiadeiro JL a ďalší

Zdroj: Lecture Notes in Computer Science ISBN: 9783642021374
Lecture notes in computer science 5522 (2009): 219–224.
info:cnr-pdr/source/autori:Abreu J.; Mazzanti F.; Fiadeiro L. J.; Gnesi S./titolo:A model-checking approach for service component architectures/doi:/rivista:Lecture notes in computer science/anno:2009/pagina_da:219/pagina_a:224/intervallo_pagine:219–224/volume:5522
11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2009), pp. 219–224, Lisbon, Jun 09-12, 2009
info:cnr-pdr/source/autori:Abreu J.; Mazzanti F.; Fiadeiro J.L.; Gnesi S./congresso_nome:11th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2009)/congresso_luogo:Lisbon/congresso_data:Jun 09-12, 2009/anno:2009/pagina_da:219/pagina_a:224/intervallo_pagine:219–224

Predmety: D.2.2 Design Tools and Techniques, Formal modelling framework for service-oriented computing - SRML, 0102 computer and information sciences, 02 engineering and technology, model-checker UMC, 01 natural sciences, name=Theoretical Computer Science, name=General Computer Science, 0202 electrical engineering, electronic engineering, information engineering, D.2.4 Software/Program Verification, Branching time temporal logic UCTL

Popis súboru: application/pdf

Prístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F978-3-642-02138-1_15.pdf
https://publications.cnr.it/doc/44246
http://www.cnr.it/prodotto/i/44246
https://hdl.handle.net/20.500.14243/52039

On-the-fly fluid model checking via discrete time population models - Extended version

Autori: Latella D. Loreti M. Massink M.

Zdroj: ISTI Technical reports, 2014

Predmety: B.8.2 Performance Analysis and Design Aids, Mean Field model-checking, F.1.2 Modes of Computation, Deterministic approximation, G.3 PROBABILITY AND STATISTICS, Fluid model-checking, On-th-fly model-checking, D.2.4 Software/Program Verification, G.1.7 Ordinary Differential Equations

Prístupová URL adresa: http://www.cnr.it/prodotto/i/290140
https://publications.cnr.it/doc/290140

Practical software model checking via dynamic interface reduction

Autori: Huayang Guo Ming Wu Lidong Zhou a ďalší

Prispievatelia: Huayang Guo Ming Wu Lidong Zhou a ďalší

Zdroj: http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Model checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms Algorithms, Reliability Keywords Software model checking, state space reduction

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8546
http://www.cs.columbia.edu/~junfeng/papers/demeter-sosp11.pdf

Bounded model checking for knowledge and linear time

Autori: W. Penczek M. Szreter A. Zbrzezny a ďalší

Prispievatelia: W. Penczek M. Szreter A. Zbrzezny a ďalší

Zdroj: http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf.

Predmety: Specification techniques, D.2.4 [Software/Program Verification, Model checking, I.2.4 [Knowledge Representation Formalisms and Methods, Modal logic, Temporal logic General Terms Verification, Theory, Performance Keywords SAT, BDD, Bounded Model Checking, Temporal Epistemic Logic (LTLK, Interleaved Interpreted Systems

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2049; http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.2049
http://www.ifaamas.org/Proceedings/aamas2012/papers/Z9_12.pdf

MemSAT: checking axiomatic specifications of memory models

Autori: Emina Torlak Mandana Vaziri Julian Dolby a ďalší

Prispievatelia: Emina Torlak Mandana Vaziri Julian Dolby a ďalší

Zdroj: http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Formal Methods, Model Checking, D.1.3 [Programming Techniques, Concurrent Pro- gramming, F.3.1 [Logics and Meaning of Programs, Specifying and Verifying and Reasoning about Programs—Assertions, Me- chanical Verification General Terms Algorithms, Design, Languages, Verification Keywords Memory Models, Axiomatic Specifications, Bounded Model Checking, SAT

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.730; http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.687.730
http://homes.cs.washington.edu/%7Eemina/pubs/memsat.pldi10.pdf

BTOR: bit-precise modelling of wordlevel problems for model checking

Autori: Robert Brummayer Armin Biere Florian Lonsing a ďalší

Prispievatelia: Robert Brummayer Armin Biere Florian Lonsing a ďalší

Zdroj: http://fmv.jku.at/papers/BrummayerBiereLonsing-BPR08.pdf.

Predmety: D.2.4 [Software Engineering, Software/Program Verification, F.4.3 [Mathematical Logic and Formal Languages, Decision Problems Keywords Word-Level Format, Bit-Vectors, Arrays, Model Checking

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7440

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.7440
http://fmv.jku.at/papers/BrummayerBiereLonsing-BPR08.pdf

Towards model checking stochastic aspects of the thinkteam user interface - FULL VERSION

Autori: ter Beek M. Massink M. Latella D.

Zdroj: ISTI Technical reports, 2005

Predmety: 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)

Prístupová URL adresa: http://www.cnr.it/prodotto/i/160296
https://publications.cnr.it/doc/160296

Using Model Checking to Find Serious File System Errors

Autori: Junfeng Yang Paul Twohey Dawson Engler a ďalší

Prispievatelia: Junfeng Yang Paul Twohey Dawson Engler a ďalší

Zdroj: http://www.cs.columbia.edu/~junfeng/papers/yang_tocs.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Model Checking, Reliability, D.2.5 [Software Engineering, Testing and Debugging— Testing tools, D.4.5 [Operating Systems, Reliability—Verification General Terms, Verification Additional Key Words and Phrases, Model Checking, File System, Journaling, Crash, Recovery

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.5495; http://www.cs.columbia.edu/~junfeng/papers/yang_tocs.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.83.5495
http://www.cs.columbia.edu/~junfeng/papers/yang_tocs.pdf

Symbolic Model Checking of UML Activity Diagrams

Autori: Rik Eshuis The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Rik Eshuis The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.utdallas.edu/~htj041000/phd/Symbolic_Model_Checking.pdf.

Predmety: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques—State diagrams, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, model checking, D.2.1 [Software Engineering, Requirements/Specifications—Tools General Terms, Verification Additional Key Words and Phrases, activity diagrams, Unified Modeling Language

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.8371; http://www.utdallas.edu/~htj041000/phd/Symbolic_Model_Checking.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.127.8371
http://www.utdallas.edu/~htj041000/phd/Symbolic_Model_Checking.pdf

Fluent Model Checking for Event-based Systems

Autori: Dimitra Giannakopoulou Jeff Magee The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Dimitra Giannakopoulou Jeff Magee The Pennsylvania State University CiteSeerX Archives

Zdroj: http://ase.arc.nasa.gov/docs/./papers/ESEC-FSE03/esecfse03.pdf.

Predmety: D.2.4 [Software/Program Verification, Model checking, General Terms Design, Languages, Verification. Keywords Model-checking

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.4073

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.4073
http://ase.arc.nasa.gov/docs/./papers/ESEC-FSE03/esecfse03.pdf

Multi-Valued Symbolic Model-Checking

Autori: Marsha Chechik Benet Devereux Steve Easterbrook a ďalší

Prispievatelia: Marsha Chechik Benet Devereux Steve Easterbrook a ďalší

Zdroj: http://www.cs.toronto.edu/~sme/papers/2003/TOSEM-mvmodelchecking.pdf.

Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Formal met hods, Model checking, D.2.1 [Software Engineering, Requirements/Specifications—Tools, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—Te mporal Logic General Terms, Documentation, Verification Additional Key Words and Phrases, CTL, multi-valued logic, model-checking, partiality, inconsistency, fairness

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.5884

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.81.5884
http://www.cs.toronto.edu/~sme/papers/2003/TOSEM-mvmodelchecking.pdf

Model-checking Driven Black-box Testing Algorithms for Systems with Unspecified Components

Autori: Extended Abstract The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Extended Abstract The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0404037v1.pdf.

Predmety: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Formal methods, Model-checking, D.2.5 [Software Engineering, Testing/Debugging—Black-box testing, F.4.1 [Mathematic Logic and Formal Languages, Mathematical Logic—Temporal Logic General Terms Verification, Component-based systems Keywords Component-based system, Black-box testing

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2161; http://arxiv.org/pdf/cs/0404037v1.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.342.2161
http://arxiv.org/pdf/cs/0404037v1.pdf

Model Checking of Statechart Models: Survey and Research Directions

Autori: Bhaduri, Purandar Ramesh, S.

Predmety: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, D.2.4 Software/Program Verification

Prístupová URL adresa: http://arxiv.org/abs/cs/0407038