Answer Set Programming and Bounded Model Checking
暂无分享,去创建一个
[1] Stephan Melzer,et al. Deadlock Checking Using Net Unfoldings , 1997, CAV.
[2] Edmund M. Clarke,et al. Model Checking , 1999, Handbook of Automated Reasoning.
[3] Javier Esparza,et al. Decidability and Complexity of Petri Net Problems - An Introduction , 1996, Petri Nets.
[4] Kenneth L. McMillan,et al. Symbolic model checking , 1992 .
[5] Neil D. Jones,et al. Complexity of Some Problems in Petri Nets , 1977, Theor. Comput. Sci..
[6] R. BurchJ.,et al. Symbolic model checking , 1992 .
[7] Ilkka Niemelä,et al. Stable Model Semantics of Weight Constraint Rules , 1999, LPNMR.
[8] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.
[9] Orna Kupferman,et al. Model Checking of Safety Properties , 1999, CAV.
[10] James C. Corbett,et al. Evaluating Deadlock Detection Methods for Concurrent Software , 1996, IEEE Trans. Software Eng..
[11] E. Clarke,et al. Symbolic Model Checking : IO * ’ States and Beyond * , 1992 .
[12] Edmund M. Clarke,et al. Symbolic Model Checking: 10^20 States and Beyond , 1990, Inf. Comput..
[13] Wolfgang Reisig,et al. Lectures on Petri Nets I: Basic Models , 1996, Lecture Notes in Computer Science.
[14] Wolfgang Reisig,et al. Place or Transition Petri Nets , 1996, Petri Nets.
[15] François Fages,et al. Consistency of Clark's completion and existence of stable models , 1992, Methods Log. Comput. Sci..
[16] Gerard J. Holzmann,et al. The Model Checker SPIN , 1997, IEEE Trans. Software Eng..
[17] Yuliya Lierler,et al. Fages' Theorem and Answer Set Programming , 2000, ArXiv.
[18] Keijo Heljanko. Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets , 1999, Fundam. Informaticae.
[19] Johan Lilius,et al. prod 3.2: An Advanced Tool for Efficient Reachability Analysis , 1997, CAV.
[20] I. Niemelä,et al. Extending the Smodels system with cardinality and weight constraints , 2001 .