المؤلفون: Canh Minh Do, Kazuhiro Ogata

المصدر: PeerJ Computer Science, Vol 10, p e2098 (2024)

مصطلحات موضوعية: Quantum circuits, Dirac notation, Symbolic model checking, Maude, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://peerj.com/articles/cs-2098.pdf; https://peerj.com/articles/cs-2098/; https://doaj.org/toc/2376-5992

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

المؤلفون: Gamblin, Sebastien, Niveau, Alexandre, Bouzid, Maroua

المساهمون: Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS), ACKNOWLEDGMENTSThis work has been partly supported by the Région Normandie, theEuropean Regional Development Fund, and the PING/ACK projectof the French National Agency for Research (ANR-18-CE40-0011).

المصدر: Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022) ; https://hal.science/hal-04524135 ; 21st International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2022), May 2022, Auckland (Nouvelle-Zélande), New Zealand. ⟨10.5555/3535850.3535901⟩

مصطلحات موضوعية: Knowledge Representation Probabilistic Dynamic Epistemic Logic Symbolic Model Checking Hanabi Decision Diagrams ACM Reference, Knowledge Representation, Probabilistic Dynamic Epistemic Logic, Symbolic Model Checking, Hanabi, Decision Diagrams, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI]

جغرافية الموضوع: Auckland (Nouvelle-Zélande), New Zealand

Relation: hal-04524135; https://hal.science/hal-04524135; https://hal.science/hal-04524135/document; https://hal.science/hal-04524135/file/AAMAS22_GNB.pdf

الاتاحة: https://hal.science/hal-04524135
https://hal.science/hal-04524135/document
https://hal.science/hal-04524135/file/AAMAS22_GNB.pdf
https://doi.org/10.5555/3535850.3535901

المؤلفون: Nakwon Lee, Yunho Kim, Moonzoo Kim, Duksan Ryu, Jongmoon Baik

المصدر: IEEE Access, Vol 9, Pp 158738-158750 (2021)

مصطلحات موضوعية: Software verification, software testing, symbolic model checking, abstract reachability, interprocedural analysis, directed search, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

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

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

المؤلفون: Mc Carthy, David

مصطلحات موضوعية: Computer engineering, asycnhonous logic, behavioural identification, finite state machine, symbolic model checking, unit time model, verification

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

URL الوصول: https://escholarship.org/uc/item/7sd402dj

المؤلفون: Gamblin, Sébastien, Niveau, Alexandre, Bouzid, Maroua

المساهمون: Equipe MAD - Laboratoire GREYC - UMR6072, Groupe de Recherche en Informatique, Image et Instrumentation de Caen (GREYC), Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Normandie Université (NU)-École Nationale Supérieure d'Ingénieurs de Caen (ENSICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)-Université de Caen Normandie (UNICAEN), Normandie Université (NU)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Journées Francophones Planification, Décision et Apprentissage (PFIA) 2021 ; https://hal.science/hal-03664513 ; Journées Francophones Planification, Décision et Apprentissage (PFIA) 2021, Jun 2021, Bordeaux, France

مصطلحات موضوعية: Planification, Kripke structures, PDEL, Probabilistic dynamic epistemic logic, Symbolic model checking, Hanabi, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-AO]Computer Science [cs]/Computer Arithmetic, [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC], [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

جغرافية الموضوع: Bordeaux, France

Relation: hal-03664513; https://hal.science/hal-03664513; https://hal.science/hal-03664513/document; https://hal.science/hal-03664513/file/article_jfpda.pdf

الاتاحة: https://hal.science/hal-03664513
https://hal.science/hal-03664513/document
https://hal.science/hal-03664513/file/article_jfpda.pdf

المؤلفون: Todorov, Vassil, Taha, Safouan, Boulanger, Frédéric

المساهمون: Groupe PSA - Centre Technique de Vélizy Vélizy-Villacoublay, Université Paris-Saclay, Laboratoire de Recherche en Informatique (LRI), CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS), CentraleSupélec

المصدر: NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings ; https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436 ; NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp.187-203, 2020, ⟨10.1007/978-3-030-55754-6_11⟩

مصطلحات موضوعية: Formal verification, Model-based mutation, Incremental inductive model checking, Model coverage, Symbolic model checking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Relation: hal-02956436; https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436; https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/document; https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/file/Specification%20Quality%20Metrics%20Based%20on%20Mutation%20and%20Inductive%20Incremental%20Model%20Checking.pdf

الاتاحة: https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436
https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/document
https://hal-centralesupelec.archives-ouvertes.fr/hal-02956436/file/Specification%20Quality%20Metrics%20Based%20on%20Mutation%20and%20Inductive%20Incremental%20Model%20Checking.pdf
https://doi.org/10.1007/978-3-030-55754-6_11

المؤلفون: Pagani, Elena, Bersani, Marcello Maria, Erascu, Madalina, Marconi, Francesco, Ghilardi, Silvio

مصطلحات موضوعية: Apache Storm, NuSMV, symbolic model checking, BDDs, LTL logic

Relation: https://doi.org/10.5281/zenodo.10955818; https://doi.org/10.5281/zenodo.10955819; oai:zenodo.org:10955819

الاتاحة: https://doi.org/10.5281/zenodo.10955819

المؤلفون: Morard, Damien

المساهمون: Buchs, Didier

مصطلحات موضوعية: info:eu-repo/classification/ddc/025.063, Global model checking, Symbolic model checking, CTL, Intervals of vectors, Generalised intervals, Canonicity, Petri nets, Saturation, Model checking contest, Symbolic vectors, Symbolic vector sets

Relation: info:eu-repo/semantics/dataset/url/https://github.com/damdamo/SVSKit; https://archive-ouverte.unige.ch/unige:177272; unige:177272; urn:nbn:ch:unige-1772721

الاتاحة: https://archive-ouverte.unige.ch/unige:177272
https://doi.org/10.13097/archive-ouverte/unige:177272

المؤلفون: Isamu HASEGAWA, Tomoyuki YOKOGAWA

المصدر: IEICE Transactions on Information and Systems. 2022, E105.D(1):78

المؤلفون: Durán, Francisco, Eker, Steven, Escobar Román, Santiago, NARCISO MARTÍ OLIET, José Meseguer, Rubén Rubio, Talcott, Carolyn

المساهمون: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació, Generalitat Valenciana, U.S. Naval Research Laboratory, Agencia Estatal de Investigación, European Regional Development Fund, AIR FORCE OFFICE OF SCIENTIFIC RESEARCH, Ministerio de Economía y Competitividad, Ministerio de Educación, Cultura y Deporte

مصطلحات موضوعية: Maude and rewriting logic, Strategies, External objects, Unification and narrowing, Symbolic model checking, Meta-interpreters, LENGUAJES Y SISTEMAS INFORMATICOS

Relation: Journal of Logical and Algebraic Methods in Programming; info:eu-repo/grantAgreement/MINECO//TIN2014-52034-R/ES/UN MARCO DIRIGIDO POR MODELOS PARA EL DISEÑO E INTEGRACION DE SISTEMAS DE GESTION DE INFRAESTRUCTURAS/; info:eu-repo/grantAgreement/AFOSR//FA9550-17-1-0266/US/Advanced symbolic methods for the cryptographic protocol analyzer Maude-NPA/; info:eu-repo/grantAgreement/MECD//FPU17%2F02319/; info:eu-repo/grantAgreement/ONR//N00014-15-1-2202/; info:eu-repo/grantAgreement/NRL//N00173-17-1-G002/; info:eu-repo/grantAgreement/MINECO//TIN2015-67522-C3-3-R/ES/TECNOLOGIAS Y HERRAMIENTAS PARA EL DESARROLLO DE SOFTWARE CONSCIENTE DE LOS RECURSOS, CORRECTO Y EFICIENTE/; info:eu-repo/grantAgreement/AFOSR//FA9550-17-1-0286/; info:eu-repo/grantAgreement/GVA//PROMETEO%2F2019%2F098/ES/DeepTrust: Deep Logic Technology for Software Trustworthiness/; info:eu-repo/grantAgreement/GVA//PROMETEOII%2F2015%2F013/ES/SmartLogic: Logic Technologies for Software Security and Performance/; info:eu-repo/grantAgreement/AEI/Plan Estatal de Investigación Científica y Técnica y de Innovación 2017-2020/RTI2018-094403-B-C32/ES/RAZONAMIENTO FORMAL PARA TECNOLOGIAS FACILITADORAS Y EMERGENTES/; https://doi.org/10.1016/j.jlamp.2019.100497; urn:issn:2352-2208; http://hdl.handle.net/10251/170775

الاتاحة: http://hdl.handle.net/10251/170775
https://doi.org/10.1016/j.jlamp.2019.100497

المؤلفون: Neele, Thomas, Willemse, Tim A.C., Groote, Jan Friso

المصدر: Neele , T , Willemse , T A C & Groote , J F 2020 , ' Finding compact proofs for infinite-data parameterised Boolean equation systems ' , Science of Computer Programming , vol. 188 , 102389 . https://doi.org/10.1016/j.scico.2019.102389

مصطلحات موضوعية: Bisimulation, Infinite state system, Modal mu-calculus, Parameterised Boolean equation system, Symbolic model checking

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

Relation: https://research.tue.nl/en/publications/9dabd5dd-4409-4967-97d0-bc35377e1dac

الاتاحة: https://research.tue.nl/en/publications/9dabd5dd-4409-4967-97d0-bc35377e1dac
https://doi.org/10.1016/j.scico.2019.102389
https://pure.tue.nl/ws/files/146163541/1_s2.0_S0167642319301807_main.pdf
http://www.scopus.com/inward/record.url?scp=85077720320&partnerID=8YFLogxK

المؤلفون: Lucas C. Cordeiro, Eddie B. de Lima Filho, Iury V. Bessa

المصدر: IET Cyber-Physical Systems (2019)

مصطلحات موضوعية: formal verification, software architecture, multiprocessing systems, embedded systems, cyber-physical systems, system class, ecps, system development, test vectors, assertion-based verification, high-level processor models, meeting time, energy constraints, concurrent software, operation logic, symbolic model checking techniques, reliability issues, correct-by-construction systems, automated symbolic verification, automotive device control, health care, mobile devices, internet of things, consumer electronics, multicore processors, signal-processing pipelines, computational power, Computer engineering. Computer hardware, TK7885-7895, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://digital-library.theiet.org/content/journals/10.1049/iet-cps.2018.5006; https://doaj.org/toc/2398-3396

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

المؤلفون: Chaves, Lennon, Bessa, Iury, Ismail, Hussama, Frutuoso, Adriano, Cordeiro, Lucas, de Lima Filho, Eddie B.

المصدر: Chaves , L , Bessa , I , Ismail , H , Frutuoso , A , Cordeiro , L & de Lima Filho , E B 2018 , ' DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles ' , IEEE Transactions on Reliability , vol. 67 , no. 4 , pp. 1420-1441 . https://doi.org/10.1109/TR.2018.2873260

مصطلحات موضوعية: Unmanned Aerial Vehicle, Symbolic Model Checking, Fixed-Point Digital Controllers, Formal verification, Embedded systems

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

الاتاحة: https://research.manchester.ac.uk/en/publications/73962110-1216-4281-893f-b1a54adc9bdb
https://doi.org/10.1109/TR.2018.2873260
https://pure.manchester.ac.uk/ws/files/77134988/tr2018.pdf

المؤلفون: Tomás Grimm, Djones Lettnin, Michael Hübner

المصدر: Electronics; Volume 7; Issue 6; Pages: 81

مصطلحات موضوعية: safety-critical systems, formal verification, symbolic model checking, bounded model checking, satisfiability-modulo theory, equivalence checking, automated theorem proving, semiformal verification, standards compliance

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

Relation: Computer Science & Engineering; https://dx.doi.org/10.3390/electronics7060081

الاتاحة: https://doi.org/10.3390/electronics7060081

المؤلفون: Jongmoon Baik, Yunho Kim, Nakwon Lee, Duksan Ryu, Moonzoo Kim

المصدر: IEEE Access, Vol 9, Pp 158738-158750 (2021)

مصطلحات موضوعية: Model checking, Theoretical computer science, General Computer Science, Computer science, Memoization, Heuristic (computer science), General Engineering, abstract reachability, software testing, Context (language use), directed search, TK1-9971, symbolic model checking, interprocedural analysis, Reachability, Software verification, Path (graph theory), Benchmark (computing), General Materials Science, Electrical engineering. Electronics. Nuclear engineering

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a7690872d03935eb29441fd0d8bf5ab
https://doi.org/10.1109/access.2021.3130569

المؤلفون: N. O. Garanina

المصدر: Моделирование и анализ информационных систем, Vol 18, Iss 4, Pp 56-67 (2011)

مصطلحات موضوعية: symbolic model checking, algebraic data representation, distributed systems, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1098; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

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

المؤلفون: Biswal, Shruti

المساهمون: Miner, Andrew S, Basu, Samik, Ciardo, Gianfranco, Lutz, Robyn R, Tavanapong, Wallapak, Computer Science

مصطلحات موضوعية: Computer science, Formal Methods, Hybrid relations, Implicit relations, Saturation, Statespace Generation, Symbolic Model Checking

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

Relation: https://dr.lib.iastate.edu/handle/20.500.12876/kv7kjKGv

الاتاحة: https://dr.lib.iastate.edu/handle/20.500.12876/kv7kjKGv
https://hdl.handle.net/20.500.12876/kv7kjKGv
https://doi.org/10.31274/td-20240329-411

المؤلفون: N. O. Garanina

المصدر: Моделирование и анализ информационных систем, Vol 17, Iss 4, Pp 52-59 (2010)

مصطلحات موضوعية: symbolic model checking, distributed systems, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mais-journal.ru/jour/article/view/1051; https://doaj.org/toc/1818-1015; https://doaj.org/toc/2313-5417

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

المؤلفون: Shen, Xiling, Collier, Justine, Dill, David, Shapiro, Lucy, Horowitz, Mark, McAdams, Harley H.

المصدر: Proceedings of the National Academy of Sciences of the United States of America, 2008 Aug 01. 105(32), 11340-11345.

URL الوصول: https://www.jstor.org/stable/25463340

المؤلفون: Mohammed Achkari Begdouri, Houda Bel Mokadem, Mohamed El Haddad

مصطلحات موضوعية: Timed automata, symbolic model checking, back-ward analysis algorithm, correctness, data structures

Relation: http://dx.doi.org/10.14569/IJACSA.2016.070567

الاتاحة: https://doi.org/10.14569/IJACSA.2016.070567