Alternating Simulation and IOCO
暂无分享,去创建一个
[1] Harald Ruess,et al. Lazy Theorem Proving for Bounded Model Checking over Infinite Domains , 2002, CADE.
[2] Thomas A. Henzinger,et al. Alternating Refinement Relations , 1998, CONCUR.
[3] Jan Tretmans,et al. A Symbolic Framework for Model-Based Testing , 2006, FATES/RV.
[4] Jan Tretmans,et al. Model Based Testing with Labelled Transition Systems , 2008, Formal Methods and Testing.
[5] Nikolaj Bjørner,et al. Input-Output Model Programs , 2009, ICTAC.
[6] Michael J. Butler,et al. Decomposition Structures for Event-B , 2009, IFM.
[7] Nikolaj Bjørner,et al. Z3: An Efficient SMT Solver , 2008, TACAS.
[8] Jan Tretmans,et al. Test Generation Based on Symbolic Specifications , 2004, FATES.
[9] Thomas A. Henzinger,et al. Interface automata , 2001, ESEC/FSE-9.
[10] Robert M. Keller,et al. Formal verification of parallel programs , 1976, CACM.
[11] Jan Tretmans,et al. Testing Transition Systems: An Annotated Bibliography , 2000, MOVEP.
[12] Nancy A. Lynch,et al. Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.
[13] Michael Poppleton,et al. The Composition of Event-B Models , 2008, ABZ.
[14] Arend Rensink,et al. Compositional Testing with ioco , 2003, FATES.