Program logics and their applications

MaRDI QIDQ4594004zbMATH OpenFDO

Authors Andrei Arusoaie, Ştefan Ciobâcă, Dorel Lucanu, Vlad Rusu, Traian Şerbănuţă, Grigore Roşu

Publication date 16 November 2017

zbMATH Keywords

formal reasoningmatching logicprogram equivalenceprogram logicsprogram verificationreachability logicsymbolic execution

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• From rewriting logic, to programming language semantics, to program verification
• Proving reachability-logic formulas incrementally
• Matching logic: an alternative to Hoare/Floyd logic
• Publication:4896257
• The rewriting logic semantics project: a progress report

Cited in

(11)

• Programs with continuations and linear logic
• Most specific logic programs
• Program development in computational logic. A decade of research advances in logic-based program development.
• scientific article; zbMATH DE number 4057489 (Why is no real title available?)
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• scientific article; zbMATH DE number 2012389 (Why is no real title available?)
• Declarative Logic Programming: Theory, Systems, and Applications
• scientific article; zbMATH DE number 789391 (Why is no real title available?)
• Role of logic programming in the FGCS project
• An Application of Logic Engineering
• scientific article; zbMATH DE number 3225736 (Why is no real title available?)

Describes a project that uses

Uses Software

• K-Java
• K Prover

This page was built for publication: Program logics and their applications

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