Program Verification With Interacting Analysis Plugins

Formal Aspects of Computing - United Kingdom
doi 10.1007/s00165-007-0029-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Security Analysis of Role-Based Access Control Through Program Verification

2012English

Mental Contents in Interacting With a Multiobjective Optimization Program

International Journal of Technology and Human Interaction
Information SystemsHuman-Computer Interaction
2008English

Program Verification by Using DISCOVERER

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Runtime Checking for Program Verification

English

On Temporal Program Verification Rules

RAIRO. Informatique théorique
1985English

A Unified Approach of Program Verification

Acta Universitatis Sapientiae, Informatica
2017English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Field Verification Program for Small Wind Turbines

2003English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy