The temporal logic Sugar

DOI10.1007/3-540-44585-4_33MaRDI QIDQ4551164zbMATH OpenFDO

Authors Ilan Beer, Shoham Ben-David, Cindy Eisner, Dana Fisman, Anna Gringauze

Publication date 4 September 2002

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2102/21020363

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2080056
• scientific article; zbMATH DE number 3901996
• Temporal logic and fair discrete systems
• scientific article; zbMATH DE number 4076583
• scientific article; zbMATH DE number 3940713

Cited in

(12)

• An abstraction-refinement framework for trigger querying
• Functional specification of hardware via temporal logic
• Computation Tree Regular Logic for Genetic Regulatory Networks
• From Philosophical to Industrial Logics
• Bounded model checking of ETL cooperating with finite and looping automata connectives
• scientific article; zbMATH DE number 2080056 (Why is no real title available?)
• Linear temporal logic symbolic model checking
• From Monadic Logic to PSL
• CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
• Source code analysis with a temporal extension of first-order logic
• Validating the PSL/Sugar semantics using automated reasoning
• The use of contract specifications for representing requirements and for functional testing of hardware models

This page was built for publication: The temporal logic Sugar

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