Controlling Polyvariance for Specialization-Based Verification

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2013-845
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Specialization Classes: An Object Framework for Specialization,

1996English

Code Specialization Based on Value Profiles

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Dedicated Hardware for Attribute-Based Credential Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verification in Results-Based Financing for Health

2016English

LEVER: A Tool for Learning Based Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Policy-Based Design and Verification for Mission Assurance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Partition-Based Regression Verification

2013English

An Automata Based Verification Environment for Mobile Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy