Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans (Q475379): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T15
@@ Property / Mathematics Subject Classification ID: 68T15 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6374314
@@ Property / zbMATH DE Number: 6374314 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+domain-specific languages
@@ Property / zbMATH Keywords: domain-specific languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algebraic specification
@@ Property / zbMATH Keywords: algebraic specification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modelling
@@ Property / zbMATH Keywords: modelling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+verification
@@ Property / zbMATH Keywords: verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+\textsc{Casl}
@@ Property / zbMATH Keywords: \textsc{Casl} / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+railway domain
@@ Property / zbMATH Keywords: railway domain / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Hets
@@ Property / describes a project that uses: Hets / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CASL
@@ Property / describes a project that uses: CASL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS
@@ Property / describes a project that uses: SPASS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PVSio-web
@@ Property / describes a project that uses: PVSio-web / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OnTrack
@@ Property / describes a project that uses: OnTrack / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ModalCasl
@@ Property / describes a project that uses: ModalCasl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2091996173
@@ Property / OpenAlex ID: W2091996173 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3034
@@ Property / arXiv ID: 1403.3034 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:475379