https://catalogue-scientifique.canada.ca/record=2265529~S6*frc
illinois univ at urbana-champaign dept of computer science, 2007
Abstraction reduces the problem of whether an infinite state system satisfies a temporal logic property to model checking that property on a finite state...
Publication gouvernementale