Searching for "Logic Programming and Model Checking." – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Logic Programming and Model Checking
- …To appear: Proceedings of PLIP/ALP’98 Logic Programming and Model Checking ? Baoqiu Cui, Yifei…
- Cited by 29 (5 self) – Add To MetaCart
-
If ; ; =) A + then ; =) A.
- …, logic programming, model checking, many of these high-level optimizations may need to be applied…
- Add To MetaCart
-
Co-Logic Programming: Extending Logic Programming with Coinduction
- … infinitary properties, lazy evaluation, concurrent logic programming, model checking, bisimilarity proofs…
- Cited by 1 (0 self) – Add To MetaCart
-
Solving Coverability Problems of Petri Nets by Partial Deduction
- … and verication; logic programming; model checking; concurrency; partial evaluation; abstract interpretation…
- Cited by 19 (14 self) – Add To MetaCart
-
Tabulation-based Induction Proofs with Application to Automated Verification
- … logic program, model checking a parameterized system reduces to evaluating a logic program with infinite…
- Cited by 1 (1 self) – Add To MetaCart
-
Resume
- … book \Ten years of Logic Program Synthesis and Transformation", To appear. Conferences: { 2…
- Add To MetaCart
-
Combining generic judgments with recursive definitions
- …] and Twelf [17] are implementations of such logic programming. (2) Model checking, ∇-quantification While…
- Cited by 1 (0 self) – Add To MetaCart
-
Model-based testing for real: The inhouse card case study
- … solving in Logic Programming and model checking of (infinite state) systems [21]. Delzanno and Podelski…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
