Diagnosability verification using LTL model checking
Thiago M. Tuxi, Lilian K. Carvalho, Eduardo V. L. Nunes, Antônio Eduardo Carrilho da Cunha
Topics & Concepts
Model checkingBenchmark (surveying)Computer scienceProperty (philosophy)Formal verificationAutomatonFault (geology)State (computer science)Event (particle physics)AlgorithmTheoretical computer scienceMathematicsGeologyPhysicsGeographyPhilosophyEpistemologyQuantum mechanicsGeodesySeismologyFormal Methods in VerificationPetri Nets in System ModelingModel-Driven Software Engineering Techniques