Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

DOI10.1007/978-3-540-70844-5_5MaRDI QIDQ3602799zbMATH OpenOpenAlexFDO

Authors Yih-Kuen Tsay, Bow-Yaw Wang

Publication date 12 February 2009

Published in Implementation and Applications of Automata (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70844-5_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
• Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
• Automatic symbolic compositional verification by learning assumptions
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• scientific article; zbMATH DE number 1754638

Cites work

• scientific article; zbMATH DE number 1142314 (Why is no real title available?)
• scientific article; zbMATH DE number 1956591 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• A logical view of composition
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• Computer Science Logic
• Concurrency verification. Introduction to compositional and noncompositional methods
• Decision problems forω-automata
• Defining liveness
• Extending Automated Compositional Verification to the Full Class of Omega-Regular Languages
• Inference of finite automata using homing sequences
• Learning regular sets from queries and counterexamples
• On the learnability of infinitary regular sets
• On ω-regular sets

Cited in

(5)

• scientific article; zbMATH DE number 1396671 (Why is no real title available?)
• AUTOMATED COMPOSITIONAL REASONING OF INTUITIONISTICALLY CLOSED REGULAR PROPERTIES
• Automatic Derivation of Compositional Rules in Automated Compositional Reasoning
• Automated Reasoning in Higher-Order Regular Algebra
• Automatic Decidability and Combinability Revisited

This page was built for publication: Automated Compositional Reasoning of Intuitionistically Closed Regular Properties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3602799)