Searching for authors named "Saddek Bensalem" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Powerful Techniques for the Automatic Generation of Invariants
- …Powerful Techniques for the Automatic Generation of Invariants Saddek Bensalem 1? , Yassine…
- Cited by 82 (9 self) – Add To MetaCart
-
A Tool for Proving
- …A tool for proving Lustre programs in PVS Saddek Bensalem, Paul Caspi C'ecile Dumas, Catherine…
- Add To MetaCart
-
Abstracting WS1S Systems to Verify Parameterized Networks
- …Abstracting WS1S Systems to Verify Parameterized Networks ? Kai Baukus 1?? , Saddek Bensalem 2…
- Cited by 23 (5 self) – Add To MetaCart
-
Testing conformance of real-time applications by automatic generation of observers
- …Testing conformance of real-time applications by automatic generation of observers Saddek Bensalem…
- Cited by 7 (2 self) – Add To MetaCart
-
Handling data-flow programs in PVS
- …Handling data-flow programs in PVS (unpublished draft) Saddek Bensalem Paul Caspi y Catherine…
- Cited by 1 (0 self) – Add To MetaCart
-
Abstraction as the Key for Invariant Verification
- …Abstraction as the Key for Invariant Verification Saddek Bensalem and Susanne Graf and Yassine…
- Cited by 1 (0 self) – Add To MetaCart
-
Scalable Dynamic Deadlock Analysis of MultiThreaded Programs
- …Scalable Dynamic Deadlock Analysis of Multi-Threaded Programs Saddek Bensalem 1 and Klaus Havelund…
- Cited by 1 (1 self) – Add To MetaCart
-
Verification of Infinite-State Systems by Combining Abstraction and Reachability Analysis
- … Aziz Abdulla 1 Aurore Annichini 2 Saddek Bensalem 2 Ahmed Bouajjani 2 Peter Habermehl 3…
- Cited by 13 (2 self) – Add To MetaCart
-
An Overview of SAL
- …An Overview of SAL Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Mu~noz, Sam Owre…
- Cited by 32 (5 self) – Add To MetaCart
Showing 1 through 9.
