Verification of EB3 Specifications Using CADP

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-38613-8_5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Validation of Asynchronous Circuit Specifications Using IF/CADP

English

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

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Formal Verification of AADL Specifications in the Topcased Environment

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Ten Years of Performance Evaluation for Concurrent Systems Using CADP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Basic Protocols, Message Sequence Charts, and the Verification of Requirements Specifications

Computer Networks
Computer NetworksCommunications
2005English

Building Programming Interface Specifications in the Open System of Componentwise Verification of the Linux Kernel

Proceedings of the Institute for System Programming of RAS
2013English

Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy