scientific article; zbMATH DE number 1538039
From MaRDI portal
Publication:4518894
zbMath0964.68018MaRDI QIDQ4518894
Scott A. Smolka, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, K. Narayan Kumar
Publication date: 5 February 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 (2)
Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation
Uses Software
This page was built for publication:
