المؤلفون: Zhenjiang Qian, Gaofei Sun, Xiaoshuang Xing, Gaurav Dhiman

المصدر: Digital Communications and Networks, Vol 10, Iss 2, Pp 304-314 (2024)

مصطلحات موضوعية: Theorem proving, Isabelle/HOL, Formal verification, System modeling, Correctness verification, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: http://www.sciencedirect.com/science/article/pii/S2352864822001602; https://doaj.org/toc/2352-8648

URL الوصول: https://doaj.org/article/025e81e92d114bcaa3a4d9150a2b276d

المؤلفون: Mina Soltani Siapoush, Jim Alves-Foss

المصدر: IEEE Access, Vol 11, Pp 101750-101759 (2023)

مصطلحات موضوعية: Microkernel, seL4, formal methods, correctness verification, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/10251948/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/9810e2dc055e45f5bfc177b6effe59db

المؤلفون: Di Jin, Qing Wang, Dezhi Peng, Jiajia Wang, Bijuan Li, Yating Cheng, Nanxun Mo, Xiaoyan Deng, Ran Tao

المصدر: BMC Medical Informatics and Decision Making, Vol 21, Iss 1, Pp 1-10 (2021)

مصطلحات موضوعية: Autoverification, Correctness verification, Integrity validation, Human–computer interaction, Risk control, Laboratory information system, Computer applications to medicine. Medical informatics, R858-859.7

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1472-6947

URL الوصول: https://doaj.org/article/210e419f3a354835b81ec8b7d98db262

المؤلفون: Batdalov Ruslan, Ņikiforova Oksana

المصدر: Applied Computer Systems, Vol 22, Iss 1, Pp 47-53 (2017)

مصطلحات موضوعية: mix, program correctness verification, scala, Computer software, QA76.75-76.765

وصف الملف: electronic resource

Relation: https://doaj.org/toc/2255-8691

URL الوصول: https://doaj.org/article/b28ac9bf22914d909c786afb94a1d4d6

المؤلفون: Liu, Cong, Zeng, QingTian, Cheng, Long, Duan, Hua, Zhou, MengChu, Cheng, JiuJun

المصدر: Liu, Cong orcid:0000-0002-5999-2126 , Zeng, QingTian orcid:0000-0002-6421-8223 , Cheng, Long orcid:0000-0003-1638-059X , Duan, Hua, Zhou, MengChu orcid:0000-0002-5408-8752 and Cheng, JiuJun orcid:0000-0001-5176-4762 (2020) Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns. IEEE Transactions on Automation Science and Engineering, 18 . pp. 1-12. ISSN 1545-5955

مصطلحات موضوعية: Computer engineering, Computer security, Task analysis, Synchronization, Organizations, Petri nets, Privacy, Standards organizations, Behavioral correctness verification, business privacy preservation, cross-organizational workflow, discrete event systems, task synchronization pattern

وصف الملف: application/pdf

Relation: http://doras.dcu.ie/24733/1/CorrectnessVerification.pdf; http://dx.doi.org/10.1109/TASE.2020.2993376; http://doras.dcu.ie/24733/

الاتاحة: http://doras.dcu.ie/24733/

المؤلفون: Liu Cong, Zhang Feng

المصدر: Cybernetics and Information Technologies, Vol 16, Iss 3, Pp 122-136 (2016)

مصطلحات موضوعية: collaborative emergency management, emergency process modeling, collaboration patterns, correctness verification, petri net, Cybernetics, Q300-390

وصف الملف: electronic resource

Relation: https://doaj.org/toc/1314-4081

URL الوصول: https://doaj.org/article/a34ea2713f504f88a9d620b67a8362e1

المؤلفون: Hua Duan, MengChu Zhou, Jiujun Cheng, Cong Liu, Long Cheng, Qingtian Zeng

المصدر: Liu, Cong ORCID: 0000-0002-5999-2126 <https://orcid.org/0000-0002-5999-2126>, Zeng, QingTian ORCID: 0000-0002-6421-8223 <https://orcid.org/0000-0002-6421-8223>, Cheng, Long ORCID: 0000-0003-1638-059X <https://orcid.org/0000-0003-1638-059X>, Duan, Hua, Zhou, MengChu ORCID: 0000-0002-5408-8752 <https://orcid.org/0000-0002-5408-8752> and Cheng, JiuJun ORCID: 0000-0001-5176-4762 <https://orcid.org/0000-0001-5176-4762> (2020) Privacy-preserving behavioral correctness verification of cross-organizational workflow with task synchronization patterns. IEEE Transactions on Automation Science and Engineering, 18 . pp. 1-12. ISSN 1545-5955

مصطلحات موضوعية: 0209 industrial biotechnology, Correctness, Computer science, Process (engineering), business.industry, 02 engineering and technology, Petri net, Task (computing), 020901 industrial engineering & automation, Workflow, Computer engineering, Computer security, Task analysis, Synchronization, Organizations, Petri nets, Privacy, Standards organizations, Behavioral correctness verification, business privacy preservation, cross-organizational workflow, discrete event systems, task synchronization pattern, Control and Systems Engineering, Synchronization (computer science), Key (cryptography), Electrical and Electronic Engineering, Software engineering, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::54e21e33bd90c15a277009b098271f47
https://doi.org/10.1109/tase.2020.2993376

المؤلفون: Li, Xuhui, Peng, Zhiyong, Cao, Jiannong

المصدر: International Journal of Pervasive Computing and Communications, 2005, Vol. 1, Issue 2, pp. 115-122.

URL الوصول: http://www.emeraldinsight.com/doi/10.1108/17427370580000117

المؤلفون: Eugenio G. Omodeo, Alexandru I. Tomescu

المصدر: Le Matematiche, Vol 63, Iss 1, Pp 85-105 (2008)

مصطلحات موضوعية: Proof checking, Program-correctness verification, Set theory, Computable set theory, Cumulative hierarchy, Satisfiability decision procedures, Proof modularization, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: http://www.dmi.unict.it/ojs/index.php/lematematiche/article/view/49; https://doaj.org/toc/0373-3505; https://doaj.org/toc/2037-5298

URL الوصول: https://doaj.org/article/ac87e99004084628b0f3c14041f25cf5

المؤلفون: Wang Qing, Xiaoyan Deng, De-Zhi Peng, Di Jin, Bijuan Li, Ran Tao, Nanxun Mo, Wang Jiajia, Yating Cheng

المصدر: BMC Medical Informatics and Decision Making
BMC Medical Informatics and Decision Making, Vol 21, Iss 1, Pp 1-10 (2021)

مصطلحات موضوعية: 030213 general clinical medicine, Correctness, Computer science, Process (engineering), media_common.quotation_subject, Computer applications to medicine. Medical informatics, R858-859.7, Health Informatics, Risk control, Health informatics, Autoverification, Correctness verification, 03 medical and health sciences, Consistency (database systems), 0302 clinical medicine, Information system, Humans, Function (engineering), Integrity validation, 030304 developmental biology, media_common, 0303 health sciences, Human–computer interaction, business.industry, Health Policy, Research, Workload, Laboratory information system, Computer Science Applications, Test (assessment), Reliability engineering, business, Clinical Laboratory Information Systems, Algorithms

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1de9fd65ff7e28150eae672dc15e7ece
http://europepmc.org/articles/PMC8170738

المؤلفون: Cheng Bo, Zhang Chengwen, Chen Junliang

المصدر: International Journal of Computational Intelligence Systems, Vol 5, Iss 1 (2012)

مصطلحات موضوعية: Service net, reduction rules, correctness verification, multimedia conferencing, services orchestration, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://www.atlantis-press.com/article/25867964.pdf; https://doaj.org/toc/1875-6883

URL الوصول: https://doaj.org/article/115a98c302fa40cf94b08fc2ee2dd19f

المؤلفون: Shuo Yang, Ali R. Butt, Y. Charlie Hu, Samuel P. Midkiff

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf.

مصطلحات موضوعية: – distributed programming, D.3.4 [Programming Languages, Processor – compiler, D.2.5 [Software Engineering, Testing and Debugging – monitors, tracing General Terms Security, Verification, Performance, Experimentation Keywords Grid computing, cycle-sharing, correctness verification, Progress monitoring

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.419; http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.90.419
http://www.ece.purdue.edu/~ychu/publications/ppopp05_gridcop.pdf

المؤلفون: Ruslan Batdalov, Oksana Ņikiforova

المصدر: Applied Computer Systems, Vol 22, Iss 1, Pp 47-53 (2017)
Applied Computer Systems

مصطلحات موضوعية: Computer science, Scala, Programming language, 020206 networking & telecommunications, 02 engineering and technology, General Medicine, computer.software_genre, scala, QA76.75-76.765, mix, MIX, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, Computer software, Software_PROGRAMMINGLANGUAGES, program correctness verification, computer, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8dd7d2b2bd434096558e905072852161
https://doaj.org/article/b28ac9bf22914d909c786afb94a1d4d6

المؤلفون: Peterson, Christina, Dechev, Damian

المصدر: Scopus Export 2015-2019

مصطلحات موضوعية: Concurrency, Correctness verification, Transactional data structure

Relation: https://stars.library.ucf.edu/scopus2015/4834

الاتاحة: https://stars.library.ucf.edu/scopus2015/4834

المؤلفون: Xiu, Pengbo, Zhao, Weiliang, Yang, Jian

المساهمون: Altintas, Ilkay, Chen, Shiping

المصدر: Xiu , P , Zhao , W & Yang , J 2017 , Correctness verification for service-based business processes . in I Altintas & S Chen (eds) , ICWS 2017 : Proceedings of 2017 IEEE 24th International Conference on Web Services . Piscataway, NJ , pp. 752-759 , 24th IEEE International Conference on Web Services, ICWS 2017 , Honolulu , United States , 25/06/17 . https://doi.org/10.1109/ICWS.2017.90

مصطلحات موضوعية: Business Process Management, Correctness Verification, Petri net, Web Service

الاتاحة: https://researchers.mq.edu.au/en/publications/2f998188-f616-4c91-aa13-0005a5cbb7be
https://doi.org/10.1109/ICWS.2017.90
http://www.scopus.com/inward/record.url?scp=85032355088&partnerID=8YFLogxK

المؤلفون: Zhang Chengwen, Chen Junliang, Cheng Bo

المصدر: International Journal of Computational Intelligence Systems, Vol 5, Iss 1, Pp 148-162 (2012)
International Journal of Computational Intelligence Systems, Vol 5, Iss 1 (2012)

مصطلحات موضوعية: Service (systems architecture), Correctness, General Computer Science, computer.internet_protocol, Computer science, computer.software_genre, lcsh:QA75.5-76.95, reduction rules, Orchestration (computing), Multimedia, business.industry, InformationSystems_INFORMATIONSYSTEMSAPPLICATIONS, correctness verification, QA75.5-76.95, Petri net, Petri Net Markup Language, multimedia conferencing, Business Process Execution Language, Computational Mathematics, services orchestration, Asynchronous communication, Electronic computers. Computer science, The Internet, lcsh:Electronic computers. Computer science, business, computer, Service net

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ab8e7328e63f69d9df255fbe3da0e75
https://doaj.org/article/f4c26c6e9d2d45908b5cfe978c16aac3

المؤلفون: Pei-Jun Ma, Wen-Jia Gong, Xiang-hu Wu, Ming-Cheng Qu

المصدر: IERI Procedia. 2:880-887

مصطلحات موضوعية: Flowchart, Correctness, Recursion, Computer science, business.industry, correctness verification, Software development, law.invention, Identification (information), Search algorithm, law, error detection, Structured flowchart, Code generation, mathematical induction, structure identification, Error detection and correction, business, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::26d51778057edcb15a3d2e170e5f5717
https://doi.org/10.1016/j.ieri.2012.06.186

المؤلفون: Feng Zhang, Cong Liu

المساهمون: Process Science

المصدر: Cybernetics and Information Technologies, 16(3), 122-136. Walter de Gruyter GmbH

مصطلحات موضوعية: 0209 industrial biotechnology, Correctness, General Computer Science, business.industry, Computer science, Distributed computing, Collaboration patterns, Information technology, Collaborative emergency management, 02 engineering and technology, Petri net, Correctness verification, 020901 industrial engineering & automation, Emergency response, Resource (project management), Reachability, Emergency process modeling, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, business

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e8cbccb7a6212e15c4667918ef525eda
https://research.tue.nl/nl/publications/b6b8cfb5-efb5-4be4-a40f-22f6c1e21a2d

المؤلفون: Enrico Vicario, Lorenzo Ridi, Laura Carnevali

المصدر: Lecture Notes in Computer Science ISBN: 9783642242694
SAFECOMP

مصطلحات موضوعية: Correctness verification, quantitative evaluation, preemptive Time Petri Net, non-Markovian Stochastic Petri Net, stochastic Time Petri Net, symbolic state space analysis, steady state evaluation, transient evaluation, symbols.namesake, Correctness, Theoretical computer science, Computer science, Semantics (computer science), Stochastic Petri net, symbols, State space, Markov process, Petri net, Reuse, Formal methods

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8cff128a8d63d4695b066f18789ad649
http://hdl.handle.net/2158/526461

المؤلفون: Omodeo, Eugenio G., Tomescu, Alexandru I.

المصدر: Le Matematiche; Vol 63 No 1 (2008); 85-105 ; Le Matematiche; V. 63 N. 1 (2008); 85-105 ; 2037-5298 ; 0373-3505

مصطلحات موضوعية: Proof checking, Program-correctness verification, Set theory, Computable set theory, Cumulative hierarchy, Satisfiability decision procedures, Proof modularization, 03E75, 03F07, 03C62, 03E30

Time: 03-02

وصف الملف: application/pdf

Relation: https://lematematiche.dmi.unict.it/index.php/lematematiche/article/view/49/48; https://lematematiche.dmi.unict.it/index.php/lematematiche/article/view/49

الاتاحة: https://lematematiche.dmi.unict.it/index.php/lematematiche/article/view/49