Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol

Lecture Notes in Computer Science - Germany
doi 10.1007/3-540-48683-6_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verification of Protocol Conformance and Agent Interoperability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Automated Invariant Generation for the Verification of Real-Time Systems

English

Verification of Protocol Conformance Test Cases Using Reachability Analysis

Journal of Systems and Software
HardwareInformation SystemsArchitectureSoftware
1992English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Modeling and Verification of a Time-Triggered Networking Protocol

English

Time-Bounded Verification of CTMCs Against Real-Time Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Real-Time IPMI Protocol Analyzer

IEEE Transactions on Nuclear Science
Electronic EngineeringNuclearNuclear EnergyHigh Energy PhysicsEngineeringElectrical
2011English

Real-Time IPMI Protocol Analyzer

2010English

A Real-Time Parametric General-Purpose Mammalian Vocal Synthesiser

2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy