Verification and the Language L
Language independent model transformation verification
... each L L to represent the set of all possible object ...expression language Exp(L) are mathematically represented as first-order set theory axioms in L L , for each base ...
11
Language-independent model transformation verification
... metaclass Language representing languages has a set entityTypes of EntityType, a set features of DataFeature, and a set constraints of Constraint ...base language L (a class diagram) is denoted ...
10
Verification of the HARPO language
... The veri…cation methodology for concurrent programs has to support the complica- tions of accessing the memory by multiple threads. In particular, it has to rule out data races and support multiple readers and ...
161
On Symbolic Verification of Bitcoin's script Language
... Delmonino et-al [12], and Bartoletti and Pompianu [7], empirically analyse common patterns in designs of smart contracts. The authors show that some of the design pat- terns, though they are commonly applied, are ...
16
Toward language-independent program verification
... cells are abstracted away using ellipses. For example, the rule on line 45 specifies the lookup of an identifier in the store: if X is the first task in the computation cell ( ... says there might be other subsequent ...
201
Formal Verification of Relational Model Transformations using an Intermediate Verification Language
... VMTS verification framework, but it is not targeted to a specific graph rewriting-based model transformation ...GT verification was also made by Horváth ...
156
Verification and validation of language processing systems: Is it evaluation?
... 3.2 Factors which impact evaluation Evaluation of NLP systems must also take into account the kinds of inputs we expect a system to work on after its testing phase is complete. Wacholder (1997) demonstrates the extent to ...
7
Linguistic profiling of texts for the purpose of language verification
... 1 Introduction Research in linguistics and language engineering thrives on the availability of data. Traditionally, corpora would be compiled with a specific purpose in mind. Such corpora characteristically were ...
7
Hardware Verification with the Unified Modeling Language and Vera
... A point of clarification may be needed here before continuing. UML is a language and not a process. What we mean is that UML does not tell you how to go about creating the models of the software system, it is a ...
14
Efficient compilation of a verification-friendly programming language
... Many verification frameworks use a similar strategy: verifying the program in high level language and translating into low-level code for better ...all verification conditions from the source code, ...
344
WNetKAT: A Weighted SDN Programming and Verification Language
... Abstract Programmability and verifiability lie at the heart of the software-defined networking paradigm. While OpenFlow and its match-action concept provide primitive operations to manipulate hard- ware configurations, ...
18
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
... Boogie’s expressions and their types. For further details of the language, we refer to the Boogie 2 language reference manual [12]. 1.0 Type Declarations The built-in types of Boogie are booleans ( bool ), ...
15
English Language Fellow Program Health Verification Form
... There are no specific laboratory tests required, although the English Language Fellow Program may request further testing based on an examinee’s medical history. Physicians are encouraged to obtain appropriate ...
8
Universality of Language and Farsi-speaking Children: Verification Strategies
... those language universals that are common to all languages or in LU acquisition patterns that are common to all language ...first language learning (Mclaughlin, 1989). Recent works on language ...
7
Investigating Language Variability on the Performance of Speaker Verification Systems
... speaker verification (ASV) systems in late years have improved their accuracy and per- formance to the point of mass-market deployment; however, because of advances in a noise and channel compensation approaches, ...
10
JCML: A specification language for the runtime verification of Java Card programs
... (type) verification, the dynamic verification of assertions increases confidence in the applications, and so, it should be particularly useful in the smart card ...JML-like language was not yet ...
18
IEEE Standard for Universal Verification Methodology Language Reference Manual
... The factory provides both name-based and type-based interfaces. type-based—These interfaces are far less prone to typographical errors in usage. When errors do occur, they are caught at compile-time. name-based—These ...
472
Developing an easy to use Query language for verification of lighting systems
... Query language as well as the Query language for the lighting domain is ...Query language? In the usability workshop held within the Prisma team and outlined in Chapter 15, we have validated how well ...
173
Verification and Implementation of Language Based Deception Indicators in Civil and Criminal Narratives
... Class True 66 45 40.5 Table 4. Penalizing F Misclassified as T Finally, it should be noted that input to the analysis consisted of individual files with some files marked for topic changes. In prepar- ing the data for ...
8
Formal Rule Representation and Verification from Natural Language Requirements Using an Ontology
... We propose an OWL-DL ontology based on description logics as an interme- diate representation. We use this ontology to guide the automatic identification of behavioural rules from NL requirements analysis and to ...
11