scientific article; zbMATH DE number 1487867

MaRDI QIDQ4494396zbMATH OpenFDO

Authors Sagi Katz, Orna Grumberg

Publication date 10 August 2000

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)

Recommendations

• scientific article; zbMATH DE number 910719
• Model checking
• Dealing with incompleteness in automata-based model checking
• scientific article; zbMATH DE number 2080188

Cited in

(10)

• Before and after vacuity
• Skeleton abstraction for universal temporal properties
• Dealing with incompleteness in automata-based model checking
• Analysing sanity of requirements for avionics systems
• A quantitative completeness analysis for property sets
• scientific article; zbMATH DE number 139969 (Why is no real title available?)
• Skeleton Abstraction for Universal Temporal Properties
• Minimal refinements of specifications in modal and temporal logics
• Minimal refinements of specifications in modal and temporal logics
• Coverage metrics for temporal logic model checking

This page was built for publication:

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