• Suche: "Formal Methods in Software Verification and Control"

Treffer 21 - 40 von 135

21

Incremental Rewriting Modulo SMT
Gerald Whitters ; Vivek Nigam ; Carolyn Talcott
Lecture Notes in Computer Science ISBN: 9783031384981

Rewriting 4. Education Confluence Discrete mathematics Computer science 7. Clean energy …
Buch
Zu den Favoriten
22

Timed Automata Verification and Synthesis Via Finite Automata Learning
Ocan Sankur ; Sankur, Ocan
Lecture Notes in Computer Science ISBN: 9783031308192

Automaton Finite-state machine Semi-Supervised Learning Automata Theory and Form... Finite Automata Runtime Verification …
Fachzeitschrift
Zu den Favoriten
23

Synthesising Programs with Non-trivial Constants
Alessandro Abate ; Haniel Barbosa ; Clark Barrett ; et al.
J Autom Reason
Abate, A, Barbosa, H, Barrett, C, David, C, Kesseli, P, Kroening, D, Polgreen, E, Reynolds, A & Tinelli, C 2023, ' Synthesising programs with non-trivial constants ', Journal of Automated Reasoning, vol. 67, no. 2, 19, pp. 1-25 . https://doi.org/10.1007/s10817-023-09664-4

FOS: Computer and inform... Source Code Analysis Counterexample Automated Software Testi... Set (abstract data type) Discrete mathematics …
Fachzeitschrift
Zu den Favoriten
24

An Object-Oriented Systems Engineering Point of View to Develop Controllers of Quadrotor Unmanned Aerial Vehicles
Van Thuan Truong ; Ngoc Tam Bui ; Ngo Van Hien
International Journal of Aerospace Engineering, Vol 2020 (2020)

Optimization Techniques... 0209 industrial biotechn... Social Sciences 02 engineering and techn... Management Science and O... Sampling-Based Motion Pl... …
Fachzeitschrift
Zu den Favoriten
25

An efficient statistical model checker for nondeterminism and rare events
Sean Sedwards ; Carlos E. Budde ; Pedro R. D’Argenio ; et al.
International Journal on Software Tools for Technology Transfer

Parallel computing Model checking Artificial intelligence Model-Based Testing UT-Hybrid-D 0211 other engineering a... …
Fachzeitschrift
Zu den Favoriten
26

A Parameterized Formal Model for the Analysis of Preemption-Threshold Scheduling in Real-Time Systems
Imene Ben Hafaiedh ; Maroua Ben Slimane
IEEE Access, Vol 8, Pp 58180-58193 (2020)

Model checking Artificial intelligence Dynamic priority schedul... 0102 computer and inform... 02 engineering and techn... Fixed-priority pre-empti... …
Fachzeitschrift
Zu den Favoriten
27

A Unified Model-Based Framework for the Simplified Execution of Static and Dynamic Assertion-Based Verification
Muhammad Waseem Anwar ; Muhammad Rashid ; Farooque Azam ; et al.
IEEE Access, Vol 8, Pp 104407-104431 (2020)

Runtime Verification 02 engineering and techn... Model Checking Model Consistency Safety Verification Functional verification …
Fachzeitschrift
Zu den Favoriten
28

Latency Evaluation of SDFGs on Heterogeneous Processors Using Timed Automata
Sivashankari Rajadurai ; Mamoun Alazab ; Neeraj Kumar ; et al.
IEEE Access, Vol 8, Pp 140171-140180 (2020)

Automaton Parallel computing 02 engineering and techn... Latency (audio) Multiprocessor Schedulin... Theoretical computer sci... …
Fachzeitschrift
Zu den Favoriten
29

Contract lenses: Reasoning about bidirectional programs via calculation
HANLIANG ZHANG ; Wenyan Tang ; Ruifeng Xie ; et al.
Journal of Functional Programming. 33

FOS: Computer and inform... Artificial intelligence 7. Clean energy Model Checking Combinatory logic 12. Responsible consumpt... …
Fachzeitschrift
Zu den Favoriten
30

A bounded constraint-based approach to aid for error localization from a counterexample
Mohammed Bekkouche

FOS: Computer and inform... Exploit Code Clone Detection Artificial intelligence Counterexample Constraint satisfaction... …
Fachzeitschrift
Zu den Favoriten
31

cvc5: A Versatile and Industrial-Strength SMT Solver
Haniel Barbosa ; Clark Barrett ; Martin Brain ; et al.
Lecture Notes in Computer Science ISBN: 9783030995232

Code (set theory) Problem solver Software engineering Automated Software Testi... Base (topology) Set (abstract data type) …
Buch
Zu den Favoriten
32

Playing Against Fair Adversaries in Stochastic Games with Total Rewards
Pablo F. Castro ; Pedro R. D'Argenio ; Ramiro Demasi ; et al.
Lecture Notes in Computer Science ISBN: 9783031131875
Computer Aided Verification ISBN: 9783031131875
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Computer Aided Verification

FOS: Computer and inform... Computer Science - Logic... 0209 industrial biotechn... Fairness Safety Assurance in Comp... Set (abstract data type) …
Buch
Zu den Favoriten
33

Flexible Proof Production in an Industrial-Strength SMT Solver
Haniel Barbosa ; Andrew Reynolds ; Gereon Kremer ; et al.
Lecture Notes in Computer Science ISBN: 9783031107689

Parallel computing Artificial intelligence Mathematical proof Geometry Leverage (statistics) 7. Clean energy …
Buch
Zu den Favoriten
34

Modeling IoT Design Patterns Proven Correct by Construction
Imen Tounsi ; Najeh Khalfi ; Abdessamad Saidi ; et al.
Lecture Notes in Computer Science ISBN: 9783031095924

FOS: Mechanical engineer... Software design pattern Reuse Mathematical analysis 7. Clean energy Model Checking …
Buch
Zu den Favoriten
35

Design and validation of fault-tolerant embedded controllers
S. Ghosh ; Soumyajjit Dey ; Dip Goswami ; et al.
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

0209 industrial biotechn... Fault Tolerance Software quality Electronic circuit 02 engineering and techn... Quantum mechanics …
Fachzeitschrift
Zu den Favoriten
36

COMPENSAÇÃO DE ATRASOS COM CONTROLE PREDITIVO ROBUSTO UTILIZANDO OS TEMPOS MORTOS EFETIVOS POR SAÍDA
C. C. A Soares ; Matheus Amilton Martins ; R. M Fontes ; et al.
Blucher Engineering Proceedings. :283-290

Real-time Optimization Physics 05 social sciences FOS: Humanities Process Fault Detection... Computer science …
Fachzeitschrift
Zu den Favoriten
37

ML-Style Multi-Abstraction Calculus with Type Inference Algorithm
Azza A. Taha
Journal of Computer Science. 15:745-757

Artificial intelligence History Separation Logic Natural deduction Epistemology Type Inference …
Fachzeitschrift
Zu den Favoriten
38

Nominal Equational Problems
Maurício Ayala-Rincón ; Maribel Fernández ; Daniele Nantes-Sobrinho ; et al.
Lecture Notes in Computer Science ISBN: 9783030719944
Foundations of Software Science and Computation Structures
Kiefer, S. (ed.), Foundations of Software Science and Computation Structures: 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, pp. 22-41

Regular Expressions 4. Education Automata Theory and Form... Computer science 7. Clean energy Article …
Buch
Zu den Favoriten
39

Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds
Marcelo F. Frias ; Nazareno Aguirre ; Pablo Ponzio ; et al.
Lecture Notes in Computer Science ISBN: 9783030714994
Fundamental Approaches to Software Engineering

Model checking Model-Based Testing Testing-Effort Dependent... Mathematical analysis Article Model Checking …
Buch
Zu den Favoriten
40

HLola: a Very Functional Tool for Extensible Stream Runtime Verification
Felipe Gorostiaga ; César Sánchez
Lecture Notes in Computer Science ISBN: 9783030720124
Tools and Algorithms for the Construction and Analysis of Systems

Extensibility Digital subscriber line Computer Networks and Co... Runtime Verification Temporal logic 0102 computer and inform... …
Buch
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter