scientific article; zbMATH DE number 1696809

MaRDI QIDQ2767073zbMATH OpenFDO

Authors Ulf Nilsson, Johan Lübcke

Publication date 28 April 2002

Mathematics Subject Classification ID

Logic programming (68N17) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1615250
• scientific article; zbMATH DE number 1975609
• scientific article; zbMATH DE number 2102716
• scientific article; zbMATH DE number 2085276
• Constraint-based deductive model checking
• Model checking LTL using constraint programming
• The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
• Automatic software model checking via constraint logic
• Symbolic bounded conformance checking of model programs
• scientific article; zbMATH DE number 1926617

Cited in

(13)

• scientific article; zbMATH DE number 1617315 (Why is no real title available?)
• scientific article; zbMATH DE number 1615250 (Why is no real title available?)
• Program specialization for verifying infinite state systems: an experimental evaluation
• Extending co-logic programs for branching-time model checking
• Model-Checking First-Order Logic: Automata and Locality
• Analysis of Linear Hybrid Systems in CLP
• scientific article; zbMATH DE number 1140688 (Why is no real title available?)
• scientific article; zbMATH DE number 1956554 (Why is no real title available?)
• scientific article; zbMATH DE number 2080049 (Why is no real title available?)
• scientific article; zbMATH DE number 1759713 (Why is no real title available?)
• scientific article; zbMATH DE number 2085276 (Why is no real title available?)
• scientific article; zbMATH DE number 2090523 (Why is no real title available?)
• Constraint-based deductive model checking

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2767073)