scientific article; zbMATH DE number 1796144

zbMath0991.68544MaRDI QIDQ4551164

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

Publication date: 4 September 2002

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (9)

Functional Specification of Hardware via Temporal Logic ⋮ Bounded model checking of ETL cooperating with finite and looping automata connectives ⋮ Linear temporal logic symbolic model checking ⋮ Computation Tree Regular Logic for Genetic Regulatory Networks ⋮ The use of contract specifications for representing requirements and for functional testing of hardware models ⋮ An abstraction-refinement framework for trigger querying ⋮ CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks ⋮ From Philosophical to Industrial Logics ⋮ From Monadic Logic to PSL

This page was built for publication: