A calculus for automatic verification of Petri nets based on resolution and dynamic logics (Q530854): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.04.008
+Normal rank
@@ Property / OpenAlex ID @@
+W2009555631
@@ Property / OpenAlex ID: W2009555631 / rank @@
+Normal rank
@@ Property / cites work @@
+Monodic temporal resolution
@@ Property / cites work: Monodic temporal resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Concurrency and Petri Nets
@@ Property / cites work: Lectures on Concurrency and Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Combining deduction and model checking into tableaux and algorithms for converse-PDL.
+Normal rank
@@ Property / cites work @@
+Infinite State Model-Checking of Propositional Dynamic Logics
+Normal rank
@@ Property / cites work @@
+Model checking propositional dynamic logic with all extras
+Normal rank
@@ Property / cites work @@
+Extending propositional dynamic logic for Petri nets
+Normal rank
@@ Property / cites work @@
+Q3771629
@@ Property / cites work: Q3771629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-prenexing and Prenexing for Modal Logics
@@ Property / cites work: Anti-prenexing and Prenexing for Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4133144
@@ Property / cites work: Q4133144 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Oriented Logic Based on the Resolution Principle
+Normal rank