Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction

doi 10.1109/cdc.2004.1428676
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Optimized L*-Based Assume-Guarantee Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

From Relational Interfaces to Assume-Guarantee Contracts

2014English

RIB: Analysis of I/O Automata

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

Analysis of One-Dimensional Linear Hybrid Cellular Automata Over GF(q)

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1996English

Modal I/O Automata for Interface and Product Line Theories

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy