A user-friendly interface for a lightweight verification system
User-friendly interfaces can play an important role in bringing the benefits of a machine-
readable representation of formal arguments to a wider audience. The aartifact system is an …
readable representation of formal arguments to a wider audience. The aartifact system is an …
Formal verification of SLA transformations
Desirable application performance is typically guaranteed through the use of Service Level
Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated …
Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated …
A Type-Theoretic Framework for Efficient and Safe Colocation of Periodic Real-time Systems
Desirable application performance is typically guaranteed through the use of Service Level
Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated …
Agreements (SLAs) that specify fixed fractions of resource capacities that must be allocated …
[PDF][PDF] Verification with Natural Contexts: Soundness of Safe Compositional Network Sketches
In research areas involving mathematical rigor, there are numerous benefits to adopting a
formal representation of models and arguments: reusability, automatic evaluation of …
formal representation of models and arguments: reusability, automatic evaluation of …
[PDF][PDF] User-friendly Support for Common Concepts in a Lightweight Verifier
A Lapets - 2010 - Citeseer
Abstract Machine verification of formal arguments can only increase our confidence in the
correctness of those arguments, but the costs of employing machine verification still …
correctness of those arguments, but the costs of employing machine verification still …
[PDF][PDF] Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code
A Lapets - 2009 - lapets.io
In college courses dealing with material that requires mathematical rigor, the adoption of a
machine-readable representation for formal arguments can be advantageous. Students can …
machine-readable representation for formal arguments can be advantageous. Students can …
Efficient Support for Common Relations in Lightweight Formal Reasoning Systems
A Lapets, D House - 2009 - open.bu.edu
In work that involves mathematical rigor, there are numerous benefits to adopting a
representation of models and arguments that can be supplied to a formal reasoning or …
representation of models and arguments that can be supplied to a formal reasoning or …
[PDF][PDF] Safe Compositional Network Sketches: Reasoning with Automated Assistance
NetSketch is a tool for the specification of constrained-flow networks (CFNs) and the
certification of desirable safety properties imposed thereon, conceived to assist system …
certification of desirable safety properties imposed thereon, conceived to assist system …
[PDF][PDF] Ontology support for a lightweight formal verification system
The usability of verification systems is becoming increasingly important, and the effective
integration of ontologies of formal facts (definitions, propositions, and syntactic idioms) into …
integration of ontologies of formal facts (definitions, propositions, and syntactic idioms) into …
Strategic and operational services for workload management in the cloud
V Ishakian - 2013 - search.proquest.com
In hosting environments such as Infrastructure as a Service (IaaS) clouds, desirable
application performance is typically guaranteed through the use of Service Level …
application performance is typically guaranteed through the use of Service Level …