Underapproximation for model-checking based on universal circuits (Q963058): Difference between revisions

@@ 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.ic.2010.01.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2050046223
@@ Property / OpenAlex ID: W2050046223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417922
@@ Property / cites work: Q4417922 / rank @@
+Normal rank
@@ Property / cites work @@
+Counterexample-guided abstraction refinement for symbolic model checking
+Normal rank
@@ Property / cites work @@
+Q4417909
@@ Property / cites work: Q4417909 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof-guided underapproximation-widening for multi-process systems
+Normal rank
@@ Property / cites work @@
+Q4804888
@@ Property / cites work: Q4804888 / rank @@
+Normal rank
@@ Property / cites work @@
+Problems and algorithms for covering arrays
@@ Property / cites work: Problems and algorithms for covering arrays / rank @@
+Normal rank
@@ Property / cites work @@
+Underapproximation for Model-Checking Based on Random Cryptographic Constructions
+Normal rank
@@ Property / cites work @@
+Hardness vs randomness
@@ Property / cites work: Hardness vs randomness / rank @@
+Normal rank
@@ Property / cites work @@
+Vector sets for exhaustive testing of logic circuits
+Normal rank
@@ Property / cites work @@
+Underapproximation for model-checking based on universal circuits
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:963058