nopeBounded reachability of model programs
(2008) : Margus Veanes and Ando Saabas and Nikolaj Bj{\o}rner
url: https://www.microsoft.com/en-us/research/publication/bounded-reachability-of-model-programs/
#SMT #bounded_model_checking #reachability
#my_bibtex
(2008) : Margus Veanes and Ando Saabas and Nikolaj Bj{\o}rner
url: https://www.microsoft.com/en-us/research/publication/bounded-reachability-of-model-programs/
#SMT #bounded_model_checking #reachability
#my_bibtex
Bounded reachability of model programs - Microsoft Research
Model programs represent labeled transition systems and are used to specify expected behavior of systems at a high level of abstraction. Such programs are common as high-level executable specifications of complex protocols. Model programs typically use abstract data types such as sets and maps, and comprehensions to express complex state updates. Such models are mainly […]