• Search: Principles of model checking

Full-text articles, eBooks and much more from EBSCO Discovery Service

Not found what you are looking for? Check in Onleihe or make a Purchase Request

Showing 1 - 20 of 6,203

1

Principles of Model Checking
Christel Baier ; Joost-Pieter Katoen ; Christel Baier ; et al.

Computer software--Verif... Computer systems--Verifi... Computer systems--Verifi...
E-Book
Save to List
3

Efficient Model Checking for the Alternating-Time {\mu}-Calculus via Effectivity Frames
Hausmann, Daniel ; Humml, Merlin ; Prucker, Simon ; et al.

Computer Science - Logic...
Report
Save to List
4

A Hybrid Deep Learning and Model-Checking Framework for Accurate Brain Tumor Detection and Validation
Elfatimi, Elhoucine ; Fatimi, Lahcen El ; Bouchaneb, Hanifa

Computer Science - Compu... Computer Science - Artif... I.2.6 I.4.6
Report
Save to List
5

Model Checking Access Control Policies: A Case Study using Google Cloud IAM
Gouglidis, Antonios ; Kagia, Anna ; Hu, Vincent C.

Computer Science - Crypt...
Report
Save to List
6

Fixed-Template Promise Model Checking Problems
Asimi, Kristina ; Barto, Libor ; Butti, Silvia

Computer Science - Compu... Mathematics - Logic
Report
Save to List
8

Software Model-Checking as Cyclic-Proof Search
Tsukada, Takeshi ; Unno, Hiroshi

Computer Science - Progr...
Report
Save to List
9

Model Checking Healthcare Workflows Using Alloy
Wang, Xiaoliang ; Rutle, Adrian
In Procedia Computer Science 2014 37:481-488

Academic journal
Save to List
10

This result is not available to guest users.

11

Model Checking
Ferreira, Ana Paula Ludtke
2011 Workshop-School on Theoretical Computer Science Theoretical Computer Science (WEIT), 2011 Workshop-School on. :9-14 Aug, 2011

Conference
Save to List
12

Survey on model checking based hardware Trojan detection technology
ZHANG Qizhi, ZHAO Yiqiang, GAO Ya, MA Haocheng
网络与信息安全学报, Vol 7, Iss 2, Pp 57-63 (2021)

hardware trojan model checking model establishing property declaration Electronic computers. Co... QA75.5-76.95
Academic journal
Save to List
13

Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking
Wenjie Zhong ; Jian‐tao Zhou ; Tao Sun
IET Software, Vol 17, Iss 1, Pp 55-75 (2023)

concurrency (computers) formal specification petri nets Computer software QA76.75-76.765
Academic journal
Save to List
14

This result is not available to guest users.

15

Model Predictive Control of an Industrial Distillation Column Based on a Hybrid Model: Adapting the Domain of Validity
Elsheikh, Mohamed ; Ortmanns, Yak ; Hecht, Felix ; et al.
In IFAC PapersOnLine 2023 56(2):7166-7171

Academic journal
Save to List
16

The Logic of Homophily Dynamics in Heterogeneous Networks: Axiomatization, Model Checking and Validity Checking
Xiling Luo
Mathematics, Vol 11, Iss 16, p 3484 (2023)

homophily computation tree logic implication between attr... axiom system model checking validity checking …
Academic journal
Save to List
18

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Kalajdzic, Kenan ; Jegourel, Cyrille ; Bartocci, Ezio ; et al.

Computer Science - Syste...
Report
Save to List
19

Synthesis of Parametric Programs using Genetic Programming and Model Checking
Katz, Gal ; Peled, Doron
EPTCS 140, 2014, pp. 70-84

Computer Science - Softw... Computer Science - Artif... Computer Science - Neura...
Report
Save to List
20

An Experiment on Parallel Model Checking of a CTL Fragment
Saad, Rodrigo Tacla ; Zilio, Silvano Dal ; Berthomieu, Bernard

Computer Science - Logic... Computer Science - Distr...
Report
Save to List
Search Tools: Get RSS Feed Email this Search Save Search

Filter