Computer Aided Verification: 7th International Conference, CAV '95 Liège, Belgium, July 3–5, 1995 Proceedings von Wolper, Pierre

Volltext

Reasoning about Infinite Computations von Vardi, M.Y., Wolper, P.

Volltext

An automata-theoretic approach to branching-time model checking von KUPFERMAN, ORNA, VARDI, MOSHE Y, WOLPER, PIERRE

Volltext

A Partial Approach to Model Checking von Godefroid, P., Wolper, P.

Volltext

On the relation of programs and computations to models of temporal logic von Wolper, Pierre

Volltext

It usually works: The temporal logic of stochastic systems von Aziz, Adnan, Singhal, Vigyan, Balarin, Felice, Brayton, Robert K., Sangiovanni-Vincentelli, Alberto L.

Volltext

Module Checking von Kupferman, Orna, Vardi, Moshe Y, Wolper, Pierre

Volltext

Formal methods : State of the art and future directions von CLARKE, E. M, WING, J. M, HALL, A, HENZINGER, T, HOLZMANN, G, JONES, C, KURSHAN, R, LEVESON, N, MCMILLAN, K, MOORE, J, PELED, D, PNUELI, A, ALUR, R, RUSHBY, J, SHANKAR, N, SIFAKIS, J, SISTLA, P, STEFFEN, B, WOLPER, P, WING, J, WOODCOCK, J, ZAVE, P, CLARKE, E, CLEAVELAND, R, DILL, D, EMERSON, A, GARLAND, S, GERMAN, S, GUTTAG, J

Volltext

Handling Infinite Temporal Data von Kabanza, F., Stevenne, J.M., Wolper, P.

Volltext

Using partial orders for the efficient verification of deadlock freedom and safety properties von Godefroid, Patrice, Wolper, Pierre

Volltext

An integration of model checking with automated proof checking von Rajan, S., Shankar, N., Srivas, M. K.

Volltext

Memory efficient algorithms for the verification of temporal properties von Courcoubetis, C., Vardi, M., Wolper, P., Yannakakis, M.

Volltext

Iterating Transducers in the Large von Boigelot, Bernard, Legay, Axel, Wolper, Pierre

Volltext

Verifying systems with infinite but regular state spaces von Wolper, Pierre, Boigelot, Bernard

Volltext

On the expressiveness of real and integer arithmetic automata von BOIGELOT, B, RASSART, S, WOLPER, P

Volltext

Algorithmic analysis of nonlinear hybrid systems von Henzinger, Thomas A., Ho, Pei -Hsin

Volltext

On the Construction of Automata from Linear Arithmetic Constraints von Wolper, Pierre, Boigelot, Bernard

Volltext

Representing Arithmetic Constraints with Finite Automata: An Overview von Boigelot, Bernard, Wolper, Pierre

Volltext

Automated analysis of an audio control protocol von Ho, Pei -Hsin, Wong-Toi, Howard

Volltext

The power of QDDs (extended abstract) von Boigelot, Bernard, Godefroid, Patrice, Willems, Bernard, Wolper, Pierre

Volltext