On checking equivalence of simulation scripts (Q2035653): Difference between revisions

@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Dymola
@@ Property / describes a project that uses: Dymola / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DryVR
@@ Property / describes a project that uses: DryVR / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2021.100640
+Normal rank
@@ Property / OpenAlex ID @@
+W3122374654
@@ Property / OpenAlex ID: W3122374654 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+SyLVaaS: System Level Formal Verification as a Service*
+Normal rank
@@ Property / cites work @@
+On minimising the maximum expected verification time
+Normal rank
@@ Property / cites work @@
+Q5013880
@@ Property / cites work: Q5013880 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a UTP Semantics for Modelica
@@ Property / cites work: Towards a UTP Semantics for Modelica / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation-equivalent reachability of large linear systems with inputs
+Normal rank
@@ Property / cites work @@
+S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Bayesian statistical model checking with application to Stateflow/Simulink verification
+Normal rank
@@ Property / cites work @@
+On simulation-based probabilistic model checking of mixed-analog circuits
+Normal rank
@@ Property / cites work @@
+Model-based testing of reactive systems. Advanced lectures.
+Normal rank
@@ Property / cites work @@
+Mutation-Based Test Case Generation for Simulink Models
+Normal rank
@@ Property / cites work @@
+Q4400449
@@ Property / cites work: Q4400449 / rank @@
+Normal rank
@@ Property / cites work @@
+Numerical nonlinear regulator design
@@ Property / cites work: Numerical nonlinear regulator design / rank @@
+Normal rank
@@ Property / cites work @@
+Linearizing Discrete-Time Hybrid Systems
@@ Property / cites work: Linearizing Discrete-Time Hybrid Systems / rank @@
+Normal rank