Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science- Germany

doi 10.1007/3-540-48119-2_49

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 1999

Authors

Publisher

Springer Berlin Heidelberg

Related search

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Formal Consistency Checking Over Specifications in Natural Languages

English

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability

Media Technology

English

Evaluating a Data Abstraction Testing System Based on Formal Specifications.

English

Implementing and Verifying MSC Specifications Using PROMELA/XSPIN

DIMACS Series in Discrete Mathematics and Theoretical Computer Science

English

Incremental Validation of Formal Specifications

English

Consistency Analysis of Reconfigurable Dataflow Specifications

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Putting Formal Specifications Under the Magnifying Glass: Model-Based Testing for Validation

English

Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency

ACM SIGARCH Computer Architecture News

English