scientific article; zbMATH DE number 1223610
From MaRDI portal
Publication:4218920
zbMath0908.03036MaRDI QIDQ4218920
Andreas Podelski, Abdelwaheb Ayari, David A. Basin
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationtree automataspecification languagehigh-level data structuresrecursively-defined datatypesweak second-order monadic logic of two successors
Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25)
Related Items (1)
Uses Software
This page was built for publication:
