Towards a UTP Semantics for Modelica (Q2971175): Difference between revisions

@@ Property / describes a project that uses @@
+Circus
@@ Property / describes a project that uses: Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle
@@ Property / describes a project that uses: Isabelle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Handel-C
@@ Property / describes a project that uses: Handel-C / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/Circus
@@ Property / describes a project that uses: Isabelle/Circus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/UTP
@@ Property / describes a project that uses: Isabelle/UTP / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2569046096
@@ Property / OpenAlex ID: W2569046096 / rank @@
+Normal rank
@@ Property / cites work @@
+Implementation of a modelica compiler using JastAdd attribute grammars
+Normal rank
@@ Property / cites work @@
+Automatic Proof and Disproof in Isabelle/HOL
@@ Property / cites work: Automatic Proof and Disproof in Isabelle/HOL / rank @@
+Normal rank
@@ Property / cites work @@
+Q4494244
@@ Property / cites work: Q4494244 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754041
@@ Property / cites work: Q2754041 / rank @@
+Normal rank
@@ Property / cites work @@
+Isabelle/UTP: A Mechanised Theory Engineering Framework
+Normal rank
@@ Property / cites work @@
+Theorem Proving in Higher Order Logics
@@ Property / cites work: Theorem Proving in Higher Order Logics / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Pointers for the UTP
@@ Property / cites work: A Theory of Pointers for the UTP / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Theories of Programming That Distinguish Nontermination and Abort
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767980
@@ Property / cites work: Q2767980 / rank @@
+Normal rank
@@ Property / cites work @@
+Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Isabelle/HOL. A proof assistant for higher-order logic
+Normal rank
@@ Property / cites work @@
+The Consistent Initialization of Differential-Algebraic Systems
+Normal rank
@@ Property / cites work @@
+UTP Semantics for Handel-C
@@ Property / cites work: UTP Semantics for Handel-C / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Analysis of Hybrid Systems
@@ Property / cites work: Logical Analysis of Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Circus Time with Reactive Designs
@@ Property / cites work: Circus Time with Reactive Designs / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Generating Denotational Semantics from Algebraic Semantics for Event-Driven System-Level Language
+Normal rank
@@ Property / cites work @@
+Formal Verification of Simulink/Stateflow Diagrams
+Normal rank