scientific article; zbMATH DE number 1487867

zbMath0957.68069MaRDI QIDQ4494396

Orna Grumberg, Sagi Katz

Publication date: 10 August 2000

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

zbMATH Keywords

model checkingtemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (7)

Analysing sanity of requirements for avionics systems ⋮ Skeleton Abstraction for Universal Temporal Properties ⋮ Coverage metrics for temporal logic model checking ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Minimal refinements of specifications in modal and temporal logics ⋮ Before and after vacuity ⋮ Skeleton abstraction for universal temporal properties

This page was built for publication: