The AutoProof Verifier: Usability by non-experts and on standard code

The AutoProof Verifier: Usability by non-experts and on standard code

Formal verification tools are often developed by experts for experts; as a result, their usability by programmers with little formal methods experience may be severely limited. In this paper, we discuss this general phenomenon with reference to AutoProof: a tool that can verify the full functional c...

Saved in:

書目詳細資料
Main Authors:	FURIA, Carlo A., POSKITT, Christopher M., TSCHANNEN, Julian
格式:	text
語言:	English
出版:	Institutional Knowledge at Singapore Management University 2015
主題:	Theory and Algorithms
在線閱讀:	https://ink.library.smu.edu.sg/sis_research/4920 https://ink.library.smu.edu.sg/context/sis_research/article/5923/viewcontent/Furia_PT.F_IDE.2015.pdf
標簽:	添加標簽沒有標簽, 成為第一個標記此記錄!
機構:	Singapore Management University
語言:	English

相似書籍

Towards learning and verifying invariants of cyber-physical systems by code mutation
由: CHEN, Yuqi, et al.
出版: (2016)

Verifying monadic second-order properties of graph programs
由: POSKITT, Christopher M., et al.
出版: (2014)

Verifying total correctness of graph programs
由: POSKITT, Christopher M., et al.
出版: (2012)

Towards learning and verifying invariants of cyber-physical systems by code mutation
由: CHEN, Yuqi, et al.
出版: (2016)

Efficient and verifiable proof of replication with fast fault localization
由: YUAN, Haoran, et al.
出版: (2021)

Towards efficient proofs of storage and verifiable outsourced database in cloud computing
由: XU JIA
出版: (2012)

AutoFocus: Interpreting attention-based neural networks by code perturbation
由: BUI, Duy Quoc Nghi, et al.
出版: (2019)

Usability of the building plans (BP) expert system
由: Quek, David Kian Heng, et al.
出版: (2008)

AutoQuery: Automatic Construction of Dependency Queries for Code Search
由: WANG, Shaowei, et al.
出版: (2016)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: Sun, J., et al.
出版: (2013)

Expert auto-tuner for multivariable control applications
由: Toh, Kar Ann.
出版: (2009)

Verifiable coded computation of multiple functions
由: Kim, Wilton, et al.
出版: (2024)

A scalable speech coder based on federal standard 1016 Code Excited Linear Predictive (CELP) coding algorithm
由: Coronel, Jonathan B.
出版: (2004)

Measuring Google Classroom's Usability Level from an Expert Perspective
由: Iryanti, Emi, et al.
出版: (2022)

Hoare logic for graph programs
由: POSKITT, Christopher M., et al.
出版: (2010)

Typing-Proof: Usable, secure and low-cost two-factor authentication based on keystroke timings
由: LIU, Ximming, et al.
出版: (2018)

Modeling and verifying hierarchical real-time systems using stateful timed CSP
由: SUN, Jun, et al.
出版: (2013)

Code auto-completion by intelligent auto-copy-paste-modify
由: Lu, Deen
出版: (2015)

Code auto-completion by intelligent auto-copy-paste-modify
由: Arief Setiawan
出版: (2014)

Rapide Auto Service Experts: A corporate identity manual
由: Albay, Danna Angelica A., et al.
出版: (2007)

Rapide Auto Service Experts: A corporate identity manual
由: Albay, Danna Angelica A., et al.
出版: (2007)

Applying search in an automatic contract-based testing tool
由: KOLESNICHENKO, Alexey, et al.
出版: (2013)

On greedy codes
由: Bumanglag, Oscar M., Jr.
出版: (2015)

Verification of graph programs
由: POSKITT, Christopher M.
出版: (2012)

Tiered standards of proof before the International Court of Justice
由: CHEN, Siyuan, et al.
出版: (2023)

The price of usability: Designing operationalizable strategies for security games
由: McCARTHY, Sara Marie, et al.
出版: (2018)

Using contracts to guide the search-based verification of concurrent programs
由: POSKITT, Christopher M., et al.
出版: (2013)

Deep reinforcement learning for dynamic algorithm selection: A proof-of-principle study on differential evolution
由: GUO, Hongshu, et al.
出版: (2024)

Design of LDPC codes and reliable practical decoders for standard and non-standard channels
由: MO HUISI, ELISA
出版: (2010)

Stephen’s prudent person and the standard of proof in Indian Evidence Act Jurisdictions
由: CHEN, Siyuan
出版: (2023)

Mixture of experts based on confusion matrix and distribution
由: Wang, Zhisheng
出版: (2020)

Trial-based dominance for comparing both the speed and accuracy of stochastic optimizers with standard non-parametric tests
由: Price, Kenneth V., et al.
出版: (2024)

Efficient non-interactive range proof
由: YUEN, Tsz Hon, et al.
出版: (2009)

VerifyTL: Secure and Verifiable Collaborative Transfer Learning
由: MA, Zhuoran, et al.
出版: (2023)

EXPERT SYSTEM SOFTWARE DEVELOPMENT GUIDANCE IN ESSENCE STANDARD
由: Yahya Ibrahim, Mohammad

Non-interactive zero-knowledge functional proofs
由: Zeng, Gongxian, et al.
出版: (2023)

Experimental compression tests of cold-formed steel (CFS) to verify its code-based strength
由: Lejano, Bernardo, et al.
出版: (2020)

Online active learning with expert advice
由: HAO, Shuji, et al.
出版: (2018)

k-d Tree-Segmented Block Truncation Coding for Image Compression
由: Fernandez, Proceso L, Jr, et al.
出版: (2016)

Standardized signature algorithms on ultra-constrained 4-bit MCU
由: Chen, Chien-Ning, et al.
出版: (2013)