Symbolic Analysis Tools for CSP

2014 ◽  
pp. 295-313
Author(s):  
Liyi Li ◽  
Elsa Gunter ◽  
William Mansky
Keyword(s):  
Symbolic Analysis ◽  
Analysis Tools

scholarly journals Gillian, Part II: Real-World Verification for JavaScript and C

2021 ◽  
pp. 827-850
Author(s):  
Petar Maksimović ◽  
Sacha-Élie Ayoun ◽  
José Fragoso Santos ◽  
Philippa Gardner
Keyword(s):  
Real World ◽  
Symbolic Analysis ◽  
Memory Models ◽  
Separation Logic ◽  
Target Language ◽  
Memory Model ◽  
Analysis Tools

AbstractWe introduce verification based on separation logic to Gillian, a multi-language platform for the development of symbolic analysis tools which is parametric on the memory model of the target language. Our work develops a methodology for constructing compositional memory models for Gillian, leading to a unified presentation of the JavaScript and C memory models. We verify the JavaScript and C implementations of the AWS Encryption SDK message header deserialisation module, specifically designing common abstractions used for both verification tasks, and find two bugs in the JavaScript and three bugs in the C implementation.

Finding decision support requirements for effective intelligence analysis tools

2005 ◽  
Author(s):  
William Elm ◽  
Scott Potter ◽  
James Tittle ◽  
David Woods ◽  
Justin Grossman ◽  
...  
Keyword(s):  
Decision Support ◽  
Intelligence Analysis ◽  
Analysis Tools

Construction of Author-based Corpus and Development of Analysis Tools

2018 ◽  
Vol 56 ◽  
pp. 235-254
Author(s):  
Hyeon-Yeol Im
Keyword(s):  
Analysis Tools

Improving Production System Performance Using Overall Equipment Effectiveness

2020 ◽  
Vol 6 (1) ◽  
Author(s):  
Lance Clarence ◽  
Wan Muhammad Noor Sarbani Mat Daud
Keyword(s):  
Production System ◽  
System Performance ◽  
Intelligent System ◽  
Global Market ◽  
Equipment Failure ◽  
Intuitive Knowledge ◽  
Analysis Tools ◽  
New Process ◽  
Knowledge Delivery

In the competition among organization on the global market, no organization will tolerate losses. Overall Equipment Effectiveness (OEE) overall is a new process in which the efficiency of a system is calculated and complicated manufacturing issues are truly simplified to simple and intuitive knowledge delivery. It thinks about the exceptionally important measures of productivity. An endeavour has been done to measure and analyse existing Overall Equipment Effectiveness (OEE) at company Kirino in hope to reduce unplanned downtime losses on equipment failure and tooling damage to maximize the productivity. The methods used to analyse these various causes were analysis tools and Intelligence Systems. After knowing the causes of various activities that leads to high rates of defects, then recommendations for improvements that could be used by company Kirino were ready to be made using intelligent system as a medium of solution

ENGARUH PEMAHAMAN AKUNTANSI DAN KETENTUAN PERPAJAKAN SERTA TRANSPARANSI DALAM PAJAK TERHADAP KEPATUHAN WAJIB PAJAK ORANG PRIBADI USAHAWAN PADA UKM DI YOGYAKARTA

MODUS ◽  
2016 ◽  
Vol 27 (1) ◽  
pp. 41 ◽  
Author(s):  
Sumianto Sumianto ◽  
Ch Heni Kurniawan
Keyword(s):  
Tax Policy ◽  
Sampling Method ◽  
Tax Compliance ◽  
Likert Scale ◽  
Multiple Regressions ◽  
Purposive Sampling ◽  
Analysis Tools ◽  
Survey Approach

This study aims to determine the efect of understanding of accounting and tax provisions and the tax transparency on tax compliance. This research was conducted on individual taxpayers SMEs in Yogyakarta. This study used a survey approach as collecting data method. The sample in this study was taken using purposive sampling method. Subjects in this study are individual taxpayers, particularly SMEs in Yogyakarta. Multiple regressions with Likert scale measurement were used as the analysis tools. One hundred respondents individual taxpayers entrepreneurs, especially SMEs in Yogyakarta were used as the respondents and the fnding of this study is that the understanding of the accounting and tax provisions comprehension positive efect on tax compliance. Researchers also found that transparency does not afect the taxpayer compliance.Key Words : Accounting Comprehension , Tax Policy, Transparency, Compliance

Sign in / Sign up

Export Citation Format

Share Document