Search Results - Theory of computation Logic Verification by model checking*
-
1
Contributors: et al.
Subject Terms: architecture verification and validation, artificial intelligence, design and analysis of algorithms, computational complexity and cryptography, embedded systems, model checking, formal methods, formal logic, machine learning, formal languages and automata theory, models of computation, semantics and reasoning, software engineering, theory and algorithms for application domains, Software Engineering, Mathematical theory of computation, Expert systems / knowledge-based systems, Programming and scripting languages: general, Computer hardware, Natural language and machine translation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
2
Contributors:
Subject Terms: architecture verification and validation, artificial intelligence, computer programming, distributed computer systems, formal logic, software engineering, distributed systems, model checking, programming languages, software quality, theory of computation
File Description: application/pdf
Relation: Lecture Notes in Computer Science
-
3
Authors: et al.
Contributors: et al.
Source: ACM Transactions on Intelligent Systems and Technology. 12:1-29
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Computing methodologies, Planning under uncertainty, Theory of computation, Logic and verification, Verification by model checking, Robotic autonomy, Fault detection identification and recovery, model based autonomy, planning as model checking, plan generation, plan execution, plan validation
File Description: application/pdf
-
4
Authors: et al.
Source: ACM Transactions on Computational Logic. 24:1-33
Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, Theory of computation → Logic and verification, Automated reasoning, Verification by model checking, SMT, interpolation, arrays, amalgamation, 02 engineering and technology, 0101 mathematics, 01 natural sciences
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: FOS: Computer and information sciences, Model checking, logic, Computer Science - Cryptography and Security, automata, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], 16. Peace & justice, Theory of computation → Logic and verification, 01 natural sciences, Theory of computation → Logic and verification phrases Model checking, Computer Science - Distributed, Parallel, and Cluster Computing, Computing methodologies → Distributed algorithms, byzantine failure, 0202 electrical engineering, electronic engineering, information engineering, 2012 ACM Subject Classification Computing methodologies → Distributed algorithms, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Cryptography and Security (cs.CR)
File Description: application/pdf
-
6
Authors:
Source: Programming & Computer Software; Aug2025, Vol. 51 Issue 4, p283-296, 14p
-
7
Contributors:
Subject Terms: architecture verification, artificial intelligence, automata theory, computer programming, distributed computer systems, distributed systems, embedded systems, formal languages, formal logic, formal methods, model checking, software architecture, software design, software engineering, software quality, temporal logic, verification techniques, Software Engineering, Artificial intelligence, Computer programming / software engineering, Mathematical theory of computation, Computer modelling and simulation
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
8
Authors: et al.
Contributors: et al.
Source: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence
ACM Transactions on Computational LogicSubject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], FOS: Computer and information sciences, 0301 basic medicine, Computer Science - Logic in Computer Science, 0303 health sciences, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], fuzzy, quantitative, Synthesis, Strategy Logic, Multi-Agent Systems, Fuzzy Reasoning, 0102 computer and information sciences, [INFO] Computer Science [cs], Theory of computation → Logic and verification, 01 natural sciences, Tree languages Synthesis, Logic in Computer Science (cs.LO), 03 medical and health sciences, Automata over infinite objects, Temporal Logic, Model Checking, Strategic Reasoning, Verification by model checking, [INFO.INFO-MA] Computer Science [cs]/Multiagent Systems [cs.MA], Logics for Strategic Reasoning, Quantitative Reasoning, Fuzzy, Temporal Verification, Modal and temporal logics
File Description: application/pdf
Access URL: https://www.ijcai.org/proceedings/2019/0220.pdf
http://arxiv.org/abs/1905.11537
https://www.scopus.com/inward/record.uri?eid=2-s2.0-85091769418&doi=10.3233/FAIA200437&partnerID=40&md5=26ae2c26ee033a42f3b86e95bbc5c237
http://hdl.handle.net/11588/828563
https://hdl.handle.net/11588/993447
http://hdl.handle.net/11588/880513
https://inria.hal.science/hal-04219131v1/document
https://doi.org/10.1145/3582498
https://inria.hal.science/hal-04219131v1
https://www.ijcai.org/Proceedings/2019/220
https://leicester.figshare.com/articles/Reasoning_about_Quality_and_Fuzziness_of_Strategic_Behaviours/10208126
https://dblp.uni-trier.de/db/journals/corr/corr1905.html#abs-1905-11537
http://arxiv.org/pdf/1905.11537.pdf
https://doi.org/10.24963/ijcai.2019/220
https://hal.archives-ouvertes.fr/hal-02268141
https://hdl.handle.net/11573/1685188
https://doi.org/10.1145/3582498 -
9
Authors:
Contributors:
Source: Proceedings of the ACM for Programming Languages
Subject Terms: Program verification, 0202 electrical engineering, electronic engineering, information engineering, Model-checking, Effect Handlers, Higher-order Programs, Verification by model checking, 0102 computer and information sciences, 02 engineering and technology, [INFO] Computer Science [cs], algebraic effects, 01 natural sciences, model checking, Theory of computation, higher-order recursion schemes, effect handlers
File Description: application/pdf
-
10
Authors: et al.
Contributors: et al.
Source: Logical Methods in Computer Science. 21
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, Universal graphs, Formal Languages and Automata Theory (cs.FL), Computer Science - Formal Languages and Automata Theory, 0102 computer and information sciences, 01 natural sciences, Infinite duration games, Logic in Computer Science (cs.LO), Memory, ddc:004, 0101 mathematics
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Source: FSTTCS ; https://hal.science/hal-04782385 ; FSTTCS, Dec 2023, Telangana, India. pp.35:1--35:22, ⟨10.4230/LIPICS.FSTTCS.2023.35⟩
Subject Terms: Theory of computation → Logic and verification, Theory of computation → Verification by model checking, Theory of computation → Concurrency, lower bounds, vector addition systems, lower bounds Digital Object Identifier 10.4230/LIPIcs.STACS.2022.35, pushdown vector addition system, reachability problem, Theory of computation vector addition systems, Theory of computation vector addition systems reachability problem pushdown vector addition system lower bounds Digital Object Identifier 10.4230/LIPIcs.STACS.2022.35, 2012 ACM Subject Classification Theory of computation → Concurrency, [INFO]Computer Science [cs]
-
12
Authors:
Contributors:
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Formal Languages and Automata Theory (cs.FL), Verification, Computer Science - Formal Languages and Automata Theory, Model Checking, Logic in Computer Science (cs.LO), Computer Science - Distributed, Parallel, and Cluster Computing, [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], Distributed algorithms, Parameterized models, Distributed, Parallel, and Cluster Computing (cs.DC), ddc:004, Theory of computation → Distributed algorithms, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
File Description: application/pdf
-
13
Contributors:
Subject Terms: Software Engineering, Theory of Computation, Artificial Intelligence, Computer Systems Organization and Communication Networks, Computer Hardware, Simulation and Modeling, Computer Engineering and Networks, Computer Science, architecture verification and validation, artificial intelligence, automata theory, computer systems, correlation analysis, distributed computer systems, embedded systems, formal languages, formal logic, linguistics, model checking, programming languages, semantics, software architecture, software design, software quality, verification and validation, Open Access, Computer science, Mathematical theory of computation, Artificial intelligence, Computer networking & communications, Computer hardware, Computer modelling & simulation, Computer networking and communications, Computer modelling and simulation
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
14
Authors: et al.
Contributors: et al.
Source: 32nd International Conference on Concurrency Theory
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, information flow, hyperproperties, alternating-time temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 7. Clean energy, model checking, Logic in Computer Science (cs.LO), temporal logic, 0202 electrical engineering, electronic engineering, information engineering, F.4.1, Theory of computation → Modal and temporal logics, multi-agent systems, ddc:004, asynchronous hyperproperties
File Description: application/pdf
Access URL: http://arxiv.org/abs/2107.02509
https://arxiv.org/abs/2107.02509
https://drops.dagstuhl.de/opus/volltexte/2021/14401/
https://dblp.uni-trier.de/db/journals/corr/corr2107.html#abs-2107-02509
https://drops.dagstuhl.de/opus/volltexte/2021/14401/pdf/LIPIcs-CONCUR-2021-24.pdf/
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2021.24 -
15
Authors: et al.
Contributors: et al.
Source: ISSN: 1529-3785.
Subject Terms: quantitative, fuzzy, Theory of computation → Logic and verification, Modal and temporal logics, Verification by model checking, Automata over infinite objects, Tree languages Synthesis, [INFO]Computer Science [cs]
-
16
Contributors:
Subject Terms: Theory of Computation, Computer Systems Organization and Communication Networks, Control Structures and Microprogramming, Logic in AI, Information Systems and Communication Service, Computer Engineering and Networks, architecture verification and validation, artificial intelligence, automata theory, computer networks, embedded systems, formal languages, formal logic, linguistics, mathematics, model checking, model-checking, SAT and SMT solving, signal processing, software and hardware verification, software architecture, software engineering, specification and verification techniques, static and dynamic program analysis, system construction and transforamtion techniques, theorem-proving, Computer science, Mathematical theory of computation, Computer networking & communications, Algorithms & data structures, Computer networking and communications, Computer programming / software engineering, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
17
Authors: et al.
Contributors: et al.
Source: Luisa Vissat, L, Loreti, M, Nenzi, L, Hillston, J & Marion, G 2019, ' Analysis of spatio-temporal properties of stochastic systems using TSTL ', ACM Transactions on Modeling and Computer Simulation, vol. 29, no. 4, 20, pp. 20:1-20:24 . https://doi.org/10.1145/3326168
Subject Terms: stochastic spatial populationmodels, Multi-valued logic, Stochastic spatial population models, Statistical Model Checking, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, multi-valued logics, Multi-valued logics, Spatio-temporal logics, Spatio-temporal logic, 0202 electrical engineering, electronic engineering, information engineering, Verification by model checking, Theory of computation
File Description: application/pdf
Access URL: https://pubblicazioni.unicam.it/bitstream/11581/431794/2/3326168.pdf
https://dl.acm.org/doi/10.1145/3326168
http://hdl.handle.net/11368/2955037
https://www.research.ed.ac.uk/portal/files/92043329/Analysis_of_spatio_temporal_LUISA_VISSAT_DoA050419_AFV.pdf
https://www.pure.ed.ac.uk/ws/files/92043329/Analysis_of_spatio_temporal_LUISA_VISSAT_DoA050419_AFV.pdf
https://www.research.ed.ac.uk/en/publications/analysis-of-spatio-temporal-properties-of-stochastic-systems-usin
https://dblp.uni-trier.de/db/journals/tomacs/tomacs29.html#VissatLNHM19
https://doi.org/10.1145/3326168
https://dl.acm.org/doi/pdf/10.1145/3326168
https://hdl.handle.net/20.500.11820/5ff912d1-2edf-414a-9309-eaae7e9391c1
https://www.pure.ed.ac.uk/ws/files/92043329/Analysis_of_spatio_temporal_LUISA_VISSAT_DoA050419_AFV.pdf
https://dl.acm.org/doi/10.1145/3326168
https://hdl.handle.net/11368/2955037
https://doi.org/10.1145/3326168
https://dl.acm.org/doi/10.1145/3326168
https://hdl.handle.net/11581/431794
https://doi.org/10.1145/3326168 -
18
Authors: et al.
Contributors: et al.
Source: MFCS 2021: 46th International Symposium on Mathematical Foundations of Computer Science
Subject Terms: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Theory of computation → Verification by model checking, Formal Languages and Automata Theory (cs.FL), 4. Education, 1. No poverty, Computer Science - Formal Languages and Automata Theory, Logic in Computer Science (cs.LO), linear-time logic, 8. Economic growth, nominal sets, Theory of computation → Modal and temporal logics, ddc:004
File Description: application/pdf
-
19
Contributors:
Subject Terms: Software Engineering/Programming and Operating Systems, Data Structures and Information Theory, Natural Language Processing (NLP), Programming Techniques, Theory of Computation, Software Engineering, architecture verification and validation, artificial intelligence, embedded systems, empirical software validation, formal logic, formal methods, model checking, model-driven software engineering, object-oriented programming, parallel processing systems, program analysis, program compilers, signal processing, software architecture, software performance, software selection and adaptation, software testing and debugging, telecommunication systems, verification, Operating systems, Algorithms & data structures, Information theory, Natural language & machine translation, Computer programming / software engineering, Computer science, Mathematical theory of computation, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
-
20
Contributors:
Subject Terms: Artificial Intelligence, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, automata theory, boolean functions, computer programming, first order logic, formal languages, formal logic, logic programming, model checking, program verification, semantics, software architecture, software design, software quality, software verification, theorem provers, theorem proving, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Artificial intelligence
File Description: application/pdf
Relation: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Full Text Finder 
Nájsť tento článok vo Web of Science