论文信息 - Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings - 字舞流文

Tools and Algorithms for the Construction and Analysis of Systems - 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings

Parosh Aziz Abdulla | K. Rustan M. Leino | K. Leino | P. Abdulla

[1] Paul Gastin,et al. Characterization of the Expressive Power of Silent Transitions in Timed Automata , 1998, Fundam. Informaticae.

[2] Radu Mateescu,et al. Vérification des propriétés temporelles des programmes parallèles , 1998 .

[3] Perdita Stevens,et al. Practical Model-Checking Using Games , 1998, TACAS.

[4] Radu Mateescu,et al. XTL: A Meta-Language and Tool for Temporal Logic Model-Checking , 1998 .

[5] Pavel Pudlák,et al. Lower bounds for resolution and cutting plane proofs and monotone computations , 1997, Journal of Symbolic Logic.

[6] Angelika Mader,et al. Verification of modal properties using Boolean equation systems , 1997 .

[7] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[8] Joseph Sifakis,et al. Compilation and verification of LOTOS specifications , 1990, PSTV.