Show simple item record

dc.contributor.authorLapets, Andreien_US
dc.date.accessioned2011-10-20T04:51:54Z
dc.date.available2011-10-20T04:51:54Z
dc.date.issued2009-04-30en_US
dc.identifier.citationLapets, Andrei. "Improving the accessibility of lightweight formal verification systems", Technical Report BUCS-TR-2009-015, Computer Science Department, Boston University, April 30, 2009. [Available from: http://hdl.handle.net/2144/1739]en_US
dc.identifier.urihttps://hdl.handle.net/2144/1739
dc.description.abstractIn research areas involving mathematical rigor, there are numerous benefits to adopting a formal representation of models and arguments: reusability, automatic evaluation of examples, and verification of consistency and correctness. However, broad accessibility has not been a priority in the design of formal verification tools that can provide these benefits. We propose a few design criteria to address these issues: a simple, familiar, and conventional concrete syntax that is independent of any environment, application, or verification strategy, and the possibility of reducing workload and entry costs by employing features selectively. We demonstrate the feasibility of satisfying such criteria by presenting our own formal representation and verification system. Our system’s concrete syntax overlaps with English, LATEX and MediaWiki markup wherever possible, and its verifier relies on heuristic search techniques that make the formal authoring process more manageable and consistent with prevailing practices. We employ techniques and algorithms that ensure a simple, uniform, and flexible definition and design for the system, so that it easy to augment, extend, and improve.en_US
dc.language.isoen_USen_US
dc.publisherBoston University Computer Science Departmenten_US
dc.relation.ispartofseriesBUCS Technical Reports;BUCS-TR-2009-015en_US
dc.subjectSpecificationen_US
dc.subjectVerificationen_US
dc.titleImproving the Accessibility of Lightweight Formal Verification Systemsen_US
dc.typeTechnical Reporten_US


This item appears in the following Collection(s)

Show simple item record