scientific article; zbMATH DE number 1956554

MaRDI QIDQ4417894zbMATH OpenFDO

Authors Cormac Flanagan

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2618/26180189.htm

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Automatic software model checking via constraint logic
• Specialization with constrained generalization for software model checking
• Constraint-based deductive model checking
• scientific article; zbMATH DE number 1696809
• Software model checking by program specialization

Cited in

(6)

• Automatic software model checking via constraint logic
• Using source transformation to test and model check implicit-invocation systems
• Specialization with constrained generalization for software model checking
• Solving constrained Horn clauses using dependence-disjoint expansions
• Horn clauses as an intermediate representation for program analysis and transformation
• Applying constraint logic programming to SQL semantic analysis

Describes a project that uses

Uses Software

• ESC/Java

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 Q4417894)