论文信息 - Tools and Algorithms for the Construction and Analysis of Systems - 字舞流文

Tools and Algorithms for the Construction and Analysis of Systems

TACAS'2011, 17th International ConferenceTools and Algorithms for the Construction and Analysis of Systems.

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

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

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

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

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

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

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

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

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