Hierarchical Reasoning for the Verification of Parametric Systems (Q5747759): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-14203-1_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1875490257
@@ Property / OpenAlex ID: W1875490257 / rank @@
+Normal rank
@@ Property / cites work @@
+Invariant Synthesis for Combined Theories
@@ Property / cites work: Invariant Synthesis for Combined Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Requirements Validation for Hybrid Systems
@@ Property / cites work: Requirements Validation for Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Modular proof systems for partial functions with Evans equality
+Normal rank
@@ Property / cites work @@
+Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
+Normal rank
@@ Property / cites work @@
+Constraint-Based Approach for Analysis of Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+On Local Reasoning in Verification
@@ Property / cites work: On Local Reasoning in Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On Hierarchical Reasoning in Combinations of Theories
+Normal rank
@@ Property / cites work @@
+Applications of Hierarchical Reasoning in the Verification of Complex Systems
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5446292
@@ Property / cites work: Q5446292 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5747759