Incremental Validation of Formal Specifications

doi 10.15368/theses.2009.44
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Robert E. Kennedy Library, Cal Poly

Related search

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

2009English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Having Fun in Learning Formal Specifications

EasyChair Preprints
2019English

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Incremental Validation of XML Documents

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

Executing Formal Specifications Need Not Be Harmful

Software Engineering Journal
1996English

Formal Specifications of Software Model Evolution Using Contracts

English

Verifying Consistency and Validity of Formal Specifications by Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy