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 full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Formal Consistency Checking Over Specifications in Natural Languages

2015English

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Evaluating a Data Abstraction Testing System Based on Formal Specifications.

1980English

Implementing and Verifying MSC Specifications Using PROMELA/XSPIN

DIMACS Series in Discrete Mathematics and Theoretical Computer Science
1997English

Incremental Validation of Formal Specifications

English

Consistency Analysis of Reconfigurable Dataflow Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

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

2009English

Specifying and Dynamically Verifying Address Translation-Aware Memory Consistency

ACM SIGARCH Computer Architecture News
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy