C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems. Forma l Methods in System Design, 6:11--44, Jan 1995. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems. Forma l Methods in System Design, 6:11--44, Jan 1995.
Formal Aspects of Computing A generalized semantics of.. - Gallardo, Merino, al. (2004) (Correct)
No context found.
Loiseaux C, Graf S, Sifakis J, Boujjani A, Bensalem S (1995) Property preserving abstractions for the verification of concurrent systems. Formal Methods Syst Des 6:1--36
Making Predicate Abstraction Efficient: - How To Eliminate (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
Predicate Abstraction of - Ansi--C Programs Using (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:11--45, 1995.
A Validation Method Adapted to Dynamic Service Composition - Floch, Bræk (2002) (Correct)
No context found.
Loiseaux, C. and al. 1995. Property Preserving Abstractions for the Verification of Concurrent Systems. In Formal Methods in System Design, Vol. 6, pp. 11-44.
Towards PaP Services: Design and Validation Issues - Floch, Bræk (2002) (Correct)
No context found.
Loiseaux, C. and al. 1995. Property Preserving Abstractions for the Verification of Concurrent Systems. In Formal Methods in System Design, Vol. 6, pp. 11-44.
Don't Know in the -Calculus - Orna Grumberg Martin (2005) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:11--45, 1995.
Linear and Branching Metrics for Quantitative Transition.. - de Alfaro, Faella.. (2004) (2 citations) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
Using Fairness to Make Abstractions Work - Bosnacki, Ioustinova, Sidorova (2004) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1):11--44, 1995.
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
High Level Verification of Control Intensive Systems Using.. - Ion Edmund Clarke (2003) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
Three-Valued Abstractions of Games: Uncertainty, but.. - de Alfaro, Godefroid, .. (2004) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
Techniques for Abstracting SDL Specifications - Boroday, Groz, Petrenko.. (2002) (Correct)
No context found.
Loiseaux C., Graf S., Sifakis J., Bouajjani A., and Bensalem S., "Property Preserving Abstractions for the Verification of Concurrent Systems.", Formal Methods in System Design, 6, pp. 11--44, 1995.
Predicate Abstraction of ANSI-C Programs using SAT - Clarke, Kroening, Sharygina, .. (2003) (2 citations) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:11--45, 1995.
Software Tools for Technology Transfer manuscript No. - Will Be Inserted (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajiani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1):11--44, 1995.
Information Societies Technology - Ist Programme Future (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design, 6(1), 1995.
Proving temporal properties of Z specifications using abstraction - Smith, Winter (2003) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1), 1995.
Analyse Statique De Programmes : Fondements Et Applications - Jensen (1999) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1--35, 1995.
A Game-Based Framework for CTL Counterexamples and.. - Shoham (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:11--45, 1995.
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
No context found.
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, and Sadek Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1):11--44, January 1995.
Efficient Computer-Aided Verification of Parallel and Distributed .. - Mäkelä (2003) (Correct)
No context found.
Claire Loiseaux, Susanne Graf, Joseph Sifakis, Ahmed Bouajjani, and Sadek Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6(1):11--44, January 1995.
A Formal Basis for Tool-supported Simulation and.. - Kendall, Bradley.. (Correct)
No context found.
C. Losieaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:1--35, 1995.
Making Predicate Abstraction Efficient: How to.. - Clarke, Grumberg.. (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design: An International Journal, 6(1):11--44, January 1995.
The practitioner's guide to coloured Petri nets - Kristensen, Christensen, Jensen (1998) (9 citations) (Correct)
No context found.
Loiseaux, G., Graf, S., Sifakis, J., Bouajjani, A., Bensalem, S.: Property Preserving Abstractions for the Verification of Concurrent Systems. Formal Methods in System Design 6, 1995
Little Engines of Proof - Shankar (2002) (5 citations) (Correct)
No context found.
C. Loiseaux, S. Graf, J. Sifakis, A. Bouajjani, and S. Bensalem. Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design, 6:11--44, 1995.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC