Search Results - Formal Methods in Software Verification and Control
-
1
Authors:
Source: Modelling and Simulation in Engineering, Vol 2018 (2018)
Subject Terms: Artificial intelligence, 0209 industrial biotechnology, Mathematical proof, Formalism (music), Safety Assurance in Complex Systems Development, Geometry, 02 engineering and technology, Visual arts, Model Checking, Model Consistency, Safety Verification, Engineering, Air traffic control, 11. Sustainability, Civil aviation, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Model-Driven Engineering in Software Development, Software engineering, Formal methods, Deadlock, QA75.5-76.95, Computer science, Distributed computing, Programming language, Formal verification, Aerospace engineering, Computational Theory and Mathematics, Electronic computers. Computer science, Computer Science, Physical Sciences, Musical, Aviation, Software, Consistency (knowledge bases), Art, Mathematics, Formal Methods in Software Verification and Control
File Description: text/xhtml
Access URL: https://doaj.org/article/489a02bd031d4c2984f98ae32231a81b
https://dl.acm.org/doi/10.1155/2018/1692432
https://www.hindawi.com/journals/mse/2018/1692432/
https://downloads.hindawi.com/journals/mse/2018/1692432.pdf
http://downloads.hindawi.com/journals/mse/2018/1692432.pdf
https://www.scipedia.com/public/Balouki_Jarrar_2018a -
2
-
3
Authors:
Source: International Journal on Software Tools for Technology Transfer. Aug2024, Vol. 26 Issue 4, p495-508. 14p.
Subject Terms: *SOFTWARE verification, *DRIVER assistance systems, *ELECTRONIC control
-
4
Authors: et al.
Source: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. :1-13
Subject Terms: FOS: Computer and information sciences, Model checking, Automated Software Testing Techniques, 4. Education, Linear temporal logic, Fuzz testing, Computer science, Model Checking, Programming language, Algorithm, Software Fault Localization, Theoretical computer science, Computational Theory and Mathematics, Bug Localization, Solver, Soundness, Computer Science, Physical Sciences, Fuzzing, Boolean satisfiability problem, Satisfiability, Software, Formal Methods in Software Verification and Control, Empirical Studies in Software Engineering, Information Systems
-
5
Authors: et al.
Subject Terms: Modeling and Control of Petri Nets in Systems, Petri net, Computer science, 7. Clean energy, Industrial and Manufacturing Engineering, Programming language, Petri dish, Engineering, Theoretical computer science, Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Genetics, Design and Operation of Reconfigurable Manufacturing Systems, Biology, Formal Methods in Software Verification and Control
-
6
Authors: et al.
Source: IEEE Access, Vol 12, Pp 56334-56343 (2024)
Naeem, M, Atif, M, Ali, A, Gulzar, M & Hasrat, I R 2024, 'Modeling and Analysis of Cooperative Packet Recovery Protocol', IEEE Access, vol. 12, pp. 56334-56343. https://doi.org/10.1109/ACCESS.2024.3389738Subject Terms: Alternative medicine, Computer Networks and Communications, End-to-End Congestion Control in Networks, RTP Control Protocol, Transmission delay, 7. Clean energy, Broadcasting (networking), Link Control Protocol, Server, Quality of service, Multicast, packet recovery, video distribution, Pathology, User Datagram Protocol, formal specification, Computer network, QoS Routing, Distributed algorithm, Network packet, Resource Reservation Protocol, Software-Defined Networking and Network Virtualization, Bandwidth Estimation, linear temporal logic, Computer science, model checking, TK1-9971, World Wide Web, Internet Protocol, Computational Theory and Mathematics, Computer Science, Physical Sciences, Protocol (science), Delay Analysis, Medicine, Electrical engineering. Electronics. Nuclear engineering, The Internet, Formal Methods in Software Verification and Control, Network Performance
File Description: application/pdf
Access URL: https://doaj.org/article/00694f983ea640cf90bd24ea940326dd
https://vbn.aau.dk/da/publications/ed477bc4-2fc3-4bbb-bb5e-08fe6a9d1a70
https://doi.org/10.1109/ACCESS.2024.3389738
http://www.scopus.com/inward/record.url?scp=85190748648&partnerID=8YFLogxK
https://vbn.aau.dk/ws/files/765048312/Modeling_and_Analysis_of_Cooperative_Packet_Recovery_Protocol.pdf -
7
Authors: et al.
Source: The Computer Journal. 67:2066-2107
Subject Terms: Artificial intelligence, 0102 computer and information sciences, 02 engineering and technology, Normalization (sociology), Operator (biology), 01 natural sciences, Biochemistry, Gene, 7. Clean energy, 12. Responsible consumption, Context (archaeology), Theoretical computer science, Abstract machine, Sociology, Temporal Logic, State (computer science), 11. Sustainability, 0202 electrical engineering, electronic engineering, information engineering, FOS: Mathematics, Model-Driven Engineering in Software Development, Unified Modeling Language, Biology, Finite-state machine, Arithmetic, Model Transformation, Paleontology, Semantics (computer science), Computer science, UML, Programming language, FOS: Sociology, Chemistry, Computational Theory and Mathematics, Notation, Anthropology, Computer Science, Physical Sciences, Abstract state machines, Transformation (genetics), Repressor, Software Reliability Assessment and Prediction, Transcription factor, Software, Mathematics, Formal Methods in Software Verification and Control
-
8
Authors: et al.
Source: Multimedia Tools and Applications. 83:36865-36898
Subject Terms: Artificial intelligence, Abstract Interpretation, Commutative property, 0102 computer and information sciences, 02 engineering and technology, Poaceae, 01 natural sciences, Theoretical computer science, Context (archaeology), Artificial Intelligence, Logic Programming and Knowledge Representation, State (computer science), Automated theorem proving, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Conjecture, Biology, Parsing, Ecology, Computer graphics (images), Paleontology, Reachability, Animation, Discrete mathematics, Computer science, Rule-based machine translation, Programming language, Lemma (botany), Computational Theory and Mathematics, FOS: Biological sciences, Computer Science, Physical Sciences, Program Analysis and Verification Techniques, Mathematics, Formal Methods in Software Verification and Control
-
9
Authors: Fateh Boutekkouk
Source: Journal of Innovation Information Technology and Application, Vol 5, Iss 1, Pp 83-96 (2023)
Subject Terms: Rewriting, Information technology, 0102 computer and information sciences, 02 engineering and technology, Epistemology, 01 natural sciences, Autonomic Computing and Self-Adaptive Systems, Logic programming, Artificial Intelligence, Specification language, 0202 electrical engineering, electronic engineering, information engineering, formal verification, Model-Driven Engineering in Software Development, Equational logic, formal specification, maude, Semantics (computer science), QA75.5-76.95, T58.5-58.64, Computer science, MDE Practices, Programming language, FOS: Philosophy, ethics and religion, Philosophy, Simplicity, Computational Theory and Mathematics, Functional programming, c programming language, Electronic computers. Computer science, Computer Science, Physical Sciences, Operational semantics, Software, Formal Methods in Software Verification and Control
-
10
Authors:
Contributors:
Source: Lecture Notes in Computer Science ISBN: 9783031308192
Subject Terms: Automaton, Finite-state machine, Semi-Supervised Learning, Automata Theory and Formal Languages, Finite Automata, Runtime Verification, Synchronizing Automata, [INFO] Computer Science [cs], Computer science, Programming language, Timed automaton, Theoretical computer science, Computational Theory and Mathematics, Artificial Intelligence, Temporal Logic, Quantum finite automata, Computer Science, Physical Sciences, Active Learning in Machine Learning Research, Formal Methods in Software Verification and Control, Automata theory
File Description: application/pdf
Access URL: https://hal.science/hal-03947462v1
-
11
Authors: et al.
Source: IEEE Access, Vol 8, Pp 104407-104431 (2020)
Subject Terms: Runtime Verification, 02 engineering and technology, Model Checking, Model Consistency, Safety Verification, Functional verification, computation tree logic, 0202 electrical engineering, electronic engineering, information engineering, Model-Driven Engineering in Software Development, Unified Modeling Language, Embedded system, Software construction, Model Transformation, systemverilog assertions, Reconfigurable Computing Systems and Design Methods, Static analysis, Computer science, Verilog, TK1-9971, Programming language, Field-programmable gate array, Assertion based verification, Formal verification, Computational Theory and Mathematics, Hardware and Architecture, timed automata, Computer Science, Physical Sciences, Systems Modeling Language, Software system, model based system engineering, embedded systems, Electrical engineering. Electronics. Nuclear engineering, High-level verification, Software, Formal Methods in Software Verification and Control
-
12
Authors: et al.
Source: Scientific reports [Sci Rep] 2025 Nov 22. Date of Electronic Publication: 2025 Nov 22.
Publication Type: Journal Article
Journal Info: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Print-Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: MEDLINE
-
13
Authors:
Source: IEEE Access, Vol 8, Pp 58180-58193 (2020)
Subject Terms: Model checking, Artificial intelligence, Dynamic priority scheduling, 0102 computer and information sciences, 02 engineering and technology, Fixed-priority pre-emptive scheduling, schedulability analysis, Multiprocessor Scheduling, 01 natural sciences, Least slack time scheduling, Context switch, Theoretical computer science, Mixed-Criticality Systems, Hard Real-Time Systems, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Two-level scheduling, performance analysis, Embedded system, Probabilistic logic, Formal methods, Rate-monotonic scheduling, Real-Time Scheduling in Embedded Systems, Mathematical optimization, Earliest deadline first scheduling, Reconfigurable Computing Systems and Design Methods, Computer science, Distributed computing, TK1-9971, Fair-share scheduling, Algorithm, Parameterized complexity, Operating system, Schedule, Computational Theory and Mathematics, Hardware and Architecture, Computer Science, Physical Sciences, Preemption, preemption-threshold scheduling, Electrical engineering. Electronics. Nuclear engineering, Correctness, Scheduling Algorithms, Scheduling (production processes), Timing Analysis, Mathematics, Formal Methods in Software Verification and Control
-
14
Authors:
Source: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). :1-13
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Artificial intelligence, Class (philosophy), Computer Science - Artificial Intelligence, Geometry, Decidability, Converse, Description Logics, PSPACE, Theoretical computer science, Engineering, Computer Science - Databases, Logic Programming and Knowledge Representation, Artificial Intelligence, FOS: Mathematics, Bisimulation, Satisfiability, Databases (cs.DB), Expressive power, Discrete mathematics, Computer science, Logic in Computer Science (cs.LO), Computational complexity theory, Algorithm, Artificial Intelligence (cs.AI), Aerospace engineering, Computational Theory and Mathematics, Combinatorics, Time complexity, Computer Science, Physical Sciences, Tree (set theory), EXPTIME, Intersection (aeronautics), Semantic Web and Ontology Development, Mathematics, Formal Methods in Software Verification and Control
Access URL: http://arxiv.org/abs/2304.10381
-
15
Authors:
Source: Engineering, Technology & Applied Science Research. 12:9697-9702
Subject Terms: 0209 industrial biotechnology, Modeling and Control of Petri Nets in Systems, FOS: Mechanical engineering, Set (abstract data type), 02 engineering and technology, Unix, Model Checking, Automation, Engineering, 0202 electrical engineering, electronic engineering, information engineering, Key (lock), Code (set theory), 4. Education, Real-Time Scheduling in Embedded Systems, Computer science, Mechanical engineering, Programming language, Subroutine, Operating system, Computational Theory and Mathematics, Hardware and Architecture, Computer Science, Physical Sciences, Code generation, Software, Formal Methods in Software Verification and Control
-
16
Authors:
Source: Lecture Notes in Computer Science ISBN: 9783030720124
Tools and Algorithms for the Construction and Analysis of SystemsSubject Terms: Extensibility, Digital subscriber line, Computer Networks and Communications, Runtime Verification, Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Article, Model Checking, Safety Verification, Theoretical computer science, Functional verification, 0202 electrical engineering, electronic engineering, information engineering, Automated Software Testing Techniques, Runtime verification, Computer science, Programming language, Formal verification, Software Fault Localization, Computational Theory and Mathematics, Functional programming, Haskell, Computer Science, Physical Sciences, Telecommunications, Search-Based Testing, Distributed Fault Tolerance and Consistency in Systems, Software, Formal Methods in Software Verification and Control
-
17
Authors:
Source: IEEE Transactions on Reliability
Subject Terms: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Formal Languages and Automata Theory (cs.FL), Computer Networks and Communications, Concurrency Modeling, Modeling and Control of Petri Nets in Systems, Computer Science - Formal Languages and Automata Theory, Reliability theory, 02 engineering and technology, Reliability engineering, Model Checking, Engineering, Failure rate, Model-driven Performance Prediction, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Stochastic modelling, Diagnosability Analysis, Statistics, Computer science, Stochastic process, Logic in Computer Science (cs.LO), Satisfiability Modulo Theories, Computational Theory and Mathematics, Log Analysis and System Performance Diagnosis, Model-based evaluation, parametric models, reuse, stochastic activity networks, SAN, templates, Computer Science, Physical Sciences, Mathematics, Formal Methods in Software Verification and Control
File Description: application/pdf
-
18
Authors:
Source: Repositório Institucional da UFRGS
Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
Journal of the Brazilian Computer Society v.13 n.4 2007
Journal of the Brazilian Computer Society
Sociedade Brasileira de Computação (SBC)
Journal of the Brazilian Computer Society, Volume: 13, Issue: 4, Pages: 51-68, Published: DEC 2007Subject Terms: Automaton, Composite material, Model checking, Artificial intelligence, Generative grammar, Formal specification and verification, Runtime Verification, 0102 computer and information sciences, 02 engineering and technology, Grammar systems theory, 01 natural sciences, Real-time computing, Graph, Model Checking, Theoretical computer science, Avionics, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Timed automata, Model-Driven Engineering in Software Development, Gramatica : Grafos, Emergent grammar, Automated Software Testing Techniques, Arithmetic, Formal methods, Semantics (computer science), Computer science, Formal semantics (linguistics), Rule-based machine translation, Materials science, sistemas : tempo real, Graph grammars, Programming language, Formal verification, Computational Theory and Mathematics, Notation, Graph Transformation, Computer Science, Physical Sciences, Formal language, Formal specification, Software, Mathematics, Computer Science(all), Formal Methods in Software Verification and Control
File Description: application/pdf; text/html
Access URL: https://journal-bcs.springeropen.com/track/pdf/10.1007/BF03194256
http://www.scielo.br/pdf/jbcos/v13n4/05.pdf
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002007000400005
https://journal-bcs.springeropen.com/articles/10.1007/BF03194256
https://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002007000400005&lng=en
http://www.scielo.br/pdf/jbcos/v13n4/05.pdf
https://link.springer.com/article/10.1007/BF03194256
http://www.scielo.br/j/jbcos/a/dqt8X98WtsWZJ7vs9jyQxQG/
http://hdl.handle.net/10183/72572
http://old.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002007000400005
http://www.scielo.br/scielo.php?script=sci_arttext&pid=S0104-65002007000400005&lng=en&tlng=en -
19
Authors: et al.
Source: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control. :1-11
Subject Terms: Automaton, Hybrid automaton, Artificial intelligence, 0209 industrial biotechnology, Modeling and Control of Petri Nets in Systems, Automata Theory and Formal Languages, Control (management), Systems and Control (eess.SY), Synchronizing Automata, 02 engineering and technology, Electrical Engineering and Systems Science - Systems and Control, Model Checking, Theoretical computer science, Engineering, State (computer science), Machine learning, FOS: Electrical engineering, electronic engineering, information engineering, Control theory (sociology), Biology, Controller (irrigation), Hybrid Systems, Discrete-Event Systems, Computer science, Agronomy, Algorithm, Hybrid system, Aerospace engineering, Computational Theory and Mathematics, Computer Science, Physical Sciences, Computation, Differential (mechanical device), Formal Methods in Software Verification and Control
-
20
Authors:
Source: JISR Management and Social Sciences & Economics, Vol 5, Iss 2 (2007)
Subject Terms: Air Traffic Control System, HF5001-6182, Safety Assurance in Complex Systems Development, Set (abstract data type), Advanced Software Engineering, Formal Methods, 7. Clean energy, Model Checking, HB1-3840, Engineering, Air traffic control, Safety properties, 0502 economics and business, 11. Sustainability, FOS: Mathematics, Economic theory. Demography, Business, Safety, Risk, Reliability and Quality, Unified Modeling Language, H1-99, Arithmetic, Formal methods, 05 social sciences, Computer science, Programming language, Social sciences (General), Aerospace engineering, Computational Theory and Mathematics, Notation, Computer Science, Physical Sciences, Z-notation, Software Reliability Assessment and Prediction, Formal specification, Software, Mathematics, Formal Methods in Software Verification and Control
Full Text Finder 
Nájsť tento článok vo Web of Science 
Full Text