Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-35861-6_8
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Experience and Benefites of Using the Uno Run Blow Box.

JAPAN TAPPI JOURNAL
1986English

On the Risk of Tool Over-Tuning in Run-Time Verification Competitions (Position Paper)

English

Reconciling White-Box and Black-Box Perspectives on Behavioral Self-Adaptation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

An Average Case Time Complexity Estimator for Black-Box Functions

2015English

Hierarchical Verification Using an MDG-HOL Hybrid Tool

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

Experience of Development of Special Technical Specifications on Linear Electrical Motors Designing

Transportation systems and technology
2017English

EUROCORES on the Development of a Stem Cell Tool Box

Journal of Cellular and Molecular Medicine
Molecular MedicineCell Biology
2003English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy