EntityQ1569697· pop 16· linked from 213 articlesmodel checkingSign in to saveverifying whether a finite-state model meets a given specificationConnectionsoperational semanticsEntityPetri netEntityboolean satisfiability problemEntityEdmund M. ClarkeEntitystatic program analysisEntitybinary decision diagramEntitydynamic program analysisEntityprogram analysisEntityIsabelleEntitylogicEntityArtificial intelligenceConceptcomputer scienceEntityMicrosoftEntitysoftwareEntityInternational Standard Book NumberEntityalgorithmEntitycomputer hardwareEntityWayback MachineEntityelevatorEntityGNU Free Documentation LicenseEntityCategoriesLogic in computer scienceModel checking