Výsledky vyhledávání - abstraction techniques for modeling and verification

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Software Engineering, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation, Maths for computer scientists, Systems analysis and design, Algorithms and data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/37724

TECHNIQUES FOR MODELING AND VERIFICATION OF CONVERGENCE FOR HIERARCHICAL DOMAIN CROSSINGS

Techniques for modeling and verification of convergence for hierarchical domain crossings

Formal Techniques for the Verification and Optimal Control of Probabilistic Systems in the Presence of Modeling Uncertainties

Autoři: Puggelli, Alberto

Témata: Electrical engineering, Computer science, Autonomous Car Driving, Convex uncertainty, Model checking, Probabilistic Computation Tree Logic, Renewable energy, Robust Control

Popis souboru: application/pdf

Přístupová URL adresa: https://escholarship.org/uc/item/9hj3m991
https://escholarship.org/content/qt9hj3m991/qt9hj3m991.pdf

Tools and Algorithms for the Construction and Analysis of Systems

Přispěvatelé: Biere, Armin Parker, David

Témata: Software Engineering/Programming and Operating Systems, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Operating systems, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures, Mathematical theory of computation

Popis souboru: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030452377_24; OCN: 1152158222; http://library.oapen.org/handle/20.500.12657/37724; https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Dostupnost: http://library.oapen.org/handle/20.500.12657/37724
https://hdl.handle.net/20.500.12657/37724
https://directory.doabooks.org/handle/20.500.12854/33908
https://hdl.handle.net/20.500.12854/33908
https://library.oapen.org/bitstream/20.500.12657/37724/1/2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

TECHNIQUES FOR MODELING AND VERIFICATION OF CONVERGENCE FOR HIERARCHICAL DOMAIN CROSSINGS

Management of groundwater abstraction and seawater intrusion in the Moghra aquifer, Egypt.

Autoři: Armanuos AM Zeleňáková M Shalby A a další

Zdroj: Scientific reports [Sci Rep] 2025 Aug 19; Vol. 15 (1), pp. 30385. Date of Electronic Publication: 2025 Aug 19.

Způsob vydávání: Journal Article

Informace o časopise: Publisher: Nature Publishing Group Country of Publication: England NLM ID: 101563288 Publication Model: Electronic Cited Medium: Internet ISSN: 2045-2322 (Electronic) Linking ISSN: 20452322 NLM ISO Abbreviation: Sci Rep Subsets: PubMed not MEDLINE; MEDLINE

Tools and Algorithms for the Construction and Analysis of Systems ; 2020_Book_ToolsAndAlgorithmsForTheConstr.pdf

Přispěvatelé: Biere, Armin Parker, David

Témata: Theory of Computation, Special Purpose and Application-Based Systems, Computer System Implementation, Control Structures and Microprogramming, Mathematics of Computing, open access, specification and verification techniques, software and hardware verification, SAT and SMT solving, theorem proving, model checking, static and dynamic program analysis, testing, system construction and transformation techniques, tool environments and tool architectures, abstraction techniques for modeling and verification, compositional and refinement-based methodologies, mathematics, software engineering, software design, architecting, software architecture, embedded systems, automata theory, linguistics, Computer science, Mathematical theory of computation, Expert systems / knowledge-based systems, Systems analysis & design, Algorithms & data structures

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200513_9783030451905_22; OCN: 1152158068; https://www.springer.com/9783030451905

Dostupnost: http://library.oapen.org/handle/20.500.12657/37722
https://hdl.handle.net/20.500.12657/37722
https://www.springer.com/9783030451905

Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers

Autoři: Bence Czipó Ákos Hajdu Tamás Tóth a další

Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 245, Iss Proc. FESCA 2017, Pp 31-45 (2017)

Témata: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

Popis souboru: electronic resource

Relation: http://arxiv.org/pdf/1703.07350v1; https://doaj.org/toc/2075-2180

Přístupová URL adresa: https://doaj.org/article/70f10f1183ee4b2682b954e2f868352b

Formal verification of a telerehabilitation system through an abstraction and refinement approach using Uppaal

Autoři: Farid Arfi Anne‐Lise Courbis Thomas Lambolais a další

Zdroj: IET Software, Vol 17, Iss 4, Pp 582-599 (2023)

Témata: formal specification, formal verification, health care, software engineering, software reliability, unified modelling language, Computer software, QA76.75-76.765

Popis souboru: electronic resource

Relation: https://doaj.org/toc/1751-8806; https://doaj.org/toc/1751-8814

Přístupová URL adresa: https://doaj.org/article/af1ce492120b424dadc62bf0fcf962ad

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification

Autoři: Liangjun Deng Qi Zhong Jingcheng Song a další

Zdroj: Sensors, Vol 25, Iss 9, p 2683 (2025)

Témata: WebAssembly, vulnerability verification, symbolic execution, LLM, sensors, Chemical technology, TP1-1185

Popis souboru: electronic resource

Relation: https://www.mdpi.com/1424-8220/25/9/2683; https://doaj.org/toc/1424-8220

Přístupová URL adresa: https://doaj.org/article/8f081d570d24473b83a4e6fb9a12e08e

A Systematic Identification of Formal and Semi-Formal Languages and Techniques for Software-Intensive Systems-of-Systems Requirements Modeling.

Autoři: Lana, Cristiane Aparecida Guessi, Milena Antonino, Pablo Oliveira a další

Zdroj: IEEE Systems Journal; Sep2019, Vol. 13 Issue 3, p2201-2212, 12p

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges

Autoři: Chanon Dechsupa Teerapong Panboonyuen Wiwat Vatanawood a další

Zdroj: IEEE Access, Vol 13, Pp 84357-84379 (2025)

Témata: Model checking, colored petri net, state-space analysis, GRU attention, formal verification, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

Popis souboru: electronic resource

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

Přístupová URL adresa: https://doaj.org/article/ea0cf6b3e5294367b44c9a4b0ec902f8

Bringing automated formal verification to PLC program development

Autoři: Fernández Adiego, Borja

Thesis Advisors: González Suárez, Víctor Manuel, Blanco Viñuela, Enrique, Ingeniería Eléctrica, Electrónica, de Computadores y Sistemas, Departamento de

Témata: Ingeniería de sistemas y automática, Ingeniería y tecnología eléctricas

Přístupová URL adresa: http://hdl.handle.net/10651/30651

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

Autoři: Santiago Pinazo, Sonia

Přispěvatelé: University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació

Thesis Advisors: Escobar Román, Santiago

Témata: Maude-NPA, Formal verification of cryptographic protocols, Cryptographic protocol analysis, Narrowing-based reachability analysis, Reasoning modulo an equational theory, Variant-based equational unification, Standard rewritring-based model checking, Sequential protocol composition, Indistinguishability, Asymmetric unification, Equational unification, Efficient crytographic protocol analysis, State space reduction techniques, LENGUAJES Y SISTEMAS INFORMATICOS

Přístupová URL adresa: http://hdl.handle.net/10251/48527

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Autoři: Bernardo, Marco Bontà, Edoardo Aldini, Alessandro

Zdroj: Journal of Systems & Software. Aug2010, Vol. 83 Issue 8, p1404-1429. 26p.

Témata: *COMPUTER software development, *PROGRAMMING languages, SOFTWARE architecture, INFORMATION modeling, SOFTWARE verification, TOPOLOGY

A review on multi-model age estimation techniques for security applications.

Autoři: Nehma, Esraa J. Abdul Hassan, Alia K. Ali, Shaker K.

Zdroj: AIP Conference Proceedings; 2024, Vol. 3232 Issue 1, p1-14, 14p

Témata: ARTIFICIAL neural networks, MACHINE learning, DEEP learning, DATA analytics, POPULARITY

Heterogeneity of abstractions in EDA tools: Reviewing models of computation for many-core systems targeting intensive signal processing applications.

Autoři: Ammar, Manel Abid, Mohamed

Zdroj: Microprocessors & Microsystems. Jun2018, Vol. 59, p1-14. 14p.

Témata: *HETEROGENEITY, *ELECTRONIC design automation, *SIGNAL processing, *ACCURACY, *TAXONOMY

DEv-PROMELA: modeling, verification, and validation of a video game by combining model-checking and simulation.

Autoři: Yacoub, Aznam Hamri, Maamar El Amine Frydman, Claudia

Zdroj: Simulation. Nov2020, Vol. 96 Issue 11, p881-910. 30p.

Témata: *VIDEO game software, *VIDEO games, *SYSTEMS software

Techniques for modelling and verifying railway interlockings.

Autoři: James, Phillip Moller, Faron Nguyen, Hoang a další

Zdroj: International Journal on Software Tools for Technology Transfer. Nov2014, Vol. 16 Issue 6, p685-711. 27p.

Témata: *RAILROAD interlocking system signals, *RAILROAD engineers, *TOPOLOGY, *INTELLIGENT transportation systems, *AUTOMATIC train control, *MATHEMATICAL models, *CSP (Computer program language)