Found 7 datasets matching "model-checking".
-
Background A previous report showed that the open field behavior of rats sensitized to the dopamine agonist quinpirole satisfies 5 performance criteria for compulsive checking behavior....
Search relevance: 184.28 | Views last month: 2 -
The translation of temporal logic specifications constitutes an essen- tial step in model checking and a major influence on the efficiency of formal verification via model checking. We devise a...
Search relevance: 149.72 | Views last month: 1 -
Pathdroid is a framework to analyze binary Android applications for program defects and malicious behaviors. Pathdroid is based on the Java Pathfinder (JPF) verification system...
Search relevance: 103.49 | Views last month: 0 -
We detail all of the facets of adapting classical model checking to a real aerospace system, in- cluding deriving the formal model and a set of specifications from natural language descriptions....
Search relevance: 67.02 | Views last month: 0 -
This dataset provides gridded estimates of aboveground biomass (AGB) for four sites in Gabon at 0.25 ha (50 m) resolution derived with field measurements and airborne LiDAR data collected from...
Search relevance: 38.26 | Views last month: 0 -
[NOTE: PLEXdb is no longer available online. Oct 2019.] PLEXdb (Plant Expression Database) is a unified gene expression resource for plants and plant pathogens. PLEXdb is a genotype to phenotype,...
Search relevance: 29.58 | Views last month: 1 -
The SSM/I is a seven-channel, four frequency, linearly-polarized, passive microwave radiometric system which measures atmospheric, ocean and terrain microwave brightness temperatures at 19.35,...
Search relevance: 22.97 | Views last month: 0
