Keywords

#model_checking

Model checking

Computer science field

In computer science, model checking or property checking is a method for checking whether a finite-state model of a system meets a given specification. This is typically associated with hardware or software systems, where the specification contains liveness requirements as well as safety requirements.

Mon 29th

Provided by Wikipedia

Learn More

This keyword could refer to multiple things. Here are some suggestions:

Model checking Kripke structure (model checking) Principles of Model Checking Abstract model checking List of model checking tools Region (model checking) Clock (model checking) Model-based testing Program analysis BLAST model checker
0 searches
This keyword has never been searched before
This keyword has never been searched for with any other keyword.