Author:
Nalla Pradeep K.,Weiss Roland J.,Peranandam Prakash,Ruf Jürgen,Kropf Thomas,Rosenstiel Wolfgang
Subject
General Computer Science,Theoretical Computer Science
Reference32 articles.
1. Scalable distributed on-the-fly symbolic model checking;Ben-David;International Journal on Software Tools for Technology Transfer (STTT),2003
2. Bounded model checking;Biere,2003
3. Bollig, B. and I. Wegener, Partitioned BDDs vs. other BDD models, in: ACM/IEEE International Workshop on Logic Synthesis (IWLS), 1997
4. Issues in distributed timed model checking: Building Zeus;Braberman;International Journal on Software Tools for Technology Transfer (STTT),2005