Pages that link to "Item:Q5276138"
From MaRDI portal
The following pages link to Synthesis of interface specifications for Java classes (Q5276138):
Displaying 26 items.
- Symbolic automata for representing big code (Q300407) (← links)
- Learning regular omega languages (Q329611) (← links)
- Active learning for extended finite state machines (Q736459) (← links)
- AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee (Q848309) (← links)
- Three optimizations for assume-guarantee reasoning with \(L^{*}\) (Q934701) (← links)
- Learning to divide and conquer: applying the \(L^*\) algorithm to automate assume-guarantee reasoning (Q934706) (← links)
- Verification of evolving software via component substitutability analysis (Q934712) (← links)
- Automatic symbolic compositional verification by learning assumptions (Q934713) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- Inferring regular languages and \(\omega\)-languages (Q1648037) (← links)
- A state-based model of sensor protocols (Q1758154) (← links)
- A novel learning algorithm for Büchi automata based on family of DFAs and classification trees (Q2051763) (← links)
- Learning residual alternating automata (Q2105462) (← links)
- Unbounded procedure summaries from bounded environments (Q2234080) (← links)
- Compositional verification and 3-valued abstractions join forces (Q2266991) (← links)
- Modular strategies for recursive game graphs (Q2368953) (← links)
- Highly dependable concurrent programming using design for verification (Q2643127) (← links)
- Representing Java classes in a typed intermediate language (Q2817720) (← links)
- Automata Learning with Automated Alphabet Abstraction Refinement (Q3075487) (← links)
- Compositional Reasoning (Q3176370) (← links)
- Learning Symbolic Automata (Q3303893) (← links)
- A Novel Learning Algorithm for Büchi Automata Based on Family of DFAs and Classification Trees (Q3303894) (← links)
- Learning Meets Verification (Q3525110) (← links)
- (Q3591721) (← links)
- Automatic Synthesis of Assumptions for Compositional Model Checking (Q3613064) (← links)
- (Q4603446) (← links)
