T(O)RMC: A Tool for (omega)-Regular Model Checking
暂无分享,去创建一个
[1] Pierre Wolper,et al. Verifying Systems with Infinite but Regular State Spaces , 1998, CAV.
[2] Rajeev Alur,et al. A Temporal Logic of Nested Calls and Returns , 2004, TACAS.
[3] Pierre Wolper,et al. An effective decision procedure for linear arithmetic over the integers and reals , 2005, TOCL.
[4] Pierre Wolper,et al. Iterating Transducers in the Large (Extended Abstract) , 2003, CAV.
[5] Bernd Becker,et al. LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals , 2007, CAV.
[6] Jérôme Leroux,et al. FAST Extended Release , 2006, CAV.
[7] Pierre Wolper,et al. Handling Liveness Properties in (omega-)Regular Model Checking , 2004, INFINITY.
[8] Mariëlle Stoelinga,et al. Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k , 2001, International Journal on Software Tools for Technology Transfer.
[9] Frédéric Herbreteau,et al. The Power of Hybrid Acceleration , 2006, CAV.
[10] Alain Finkel,et al. How to Compose Presburger-Accelerations: Applications to Broadcast Protocols , 2002, FSTTCS.
[11] Mahesh Viswanathan,et al. LEVER: A Tool for Learning Based Verification , 2006, International Conference on Computer Aided Verification.
[12] Pierre Wolper,et al. Omega-Regular Model Checking , 2004, TACAS.
[13] Marcus Nilsson,et al. Regular Model Checking , 2000, CAV.
[14] Manindra Agrawal,et al. FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science , 2002, Lecture Notes in Computer Science.
[15] Pierre Wolper,et al. Computing Convex Hulls by Automata Iteration , 2008, CIAA.