scientific article; zbMATH DE number 1796124

zbMath0991.68042MaRDI QIDQ4551135

Moshe Y. Vardi, Orna Kupferman, Hana Chockler, Robert Kurshan

Publication date: 4 September 2002

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Analysing sanity of requirements for avionics systems, Operational causality -- necessarily sufficient and sufficiently necessary