Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-01924-1_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Formal Verification of AADL Models Using UPPAAL

2017English

Formal Verification of CHP Specifications With CADP Illustration on an Asynchronous Network-On-Chip

Proceedings - International Symposium on Asynchronous Circuits and Systems
Electronic EngineeringEngineeringElectrical
2007English

An Ocarina Extension for AADL Formal Semantics Generation

2018English

Incremental Validation of Formal Specifications

English

Having Fun in Learning Formal Specifications

EasyChair Preprints
2019English

Automatic Testing From Formal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Polychronous Automata and Their Use for Formal Validation of AADL Models

Frontiers of Computer Science
Computer ScienceTheoretical Computer Science
2019English

Testing Refinements of State‐based Formal Specifications

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
1999English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy