Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-540-70545-1_14
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

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

Optimized L*-Based Assume-Guarantee Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

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

2004English

From Relational Interfaces to Assume-Guarantee Contracts

2014English

Monotonic Abstraction-Refinement for CTL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Component-Based Abstraction and Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Learning by Ng: Systematic Abstraction Refinement for Hybrid Control Synthesis

IEE Proceedings - Control Theory and Applications
2006English

Solving Games via Three-Valued Abstraction Refinement

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy