scientific article
From MaRDI portal
Publication:2723916
zbMath0964.68086MaRDI QIDQ2723916
Thierry Massart, Michael Leuschel
Publication date: 8 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Logic programming (68N17)
Related Items (8)
Extending Co-logic Programs for Branching-Time Model Checking ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis ⋮ Fast offline partial evaluation of logic programs ⋮ Unnamed Item ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ State space analysis of Petri nets with relation-algebraic methods
Uses Software
This page was built for publication:
