Model-based variable and transition orderings for efficient symbolic model checking

---

Autoria(s): Johnston, Wendy; Winter, Kirsten; van den Berg, Lionel; Strooper, Paul; Robinson, Peter

Contribuinte(s)	Jayadev Misra Tobias Nipkow Emil Sekerinski
Data(s)	01/01/2006
Identificador	http://espace.library.uq.edu.au/view/UQ:103682
Idioma(s)	eng
Publicador	Springer Verlag
Palavras-Chave	#Symbolic model checking #Binary decision diagrams #Image computation #Partitioned transition relations #Clustering #Railway interlockings #Computer Science, Theory & Methods #E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper