LISA: A specification language based on WS2S

DOI10.1007/BFB0028005MaRDI QIDQ4218920zbMATH OpenFDO

Authors Abdelwaheb Ayari, Andreas Podelski, David Basin

Publication date 15 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0028005

zbMATH Keywords

high-level data structuresrecursively-defined datatypesspecification languagetree automataverificationweak second-order monadic logic of two successors

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Mona \& Fido: The logic-automaton connection in practice
• Extension of the automaton specification logical language and the synthesis problem
• scientific article; zbMATH DE number 1773084
• MONA IMPLEMENTATION SECRETS

Cited in

(1)

• LISA

Describes a project that uses

Uses Software

• MONA
• Mosel
• STeP

This page was built for publication: LISA: A specification language based on WS2S

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