- Checking that finite state concurrent programs satisfy their linear specification Orna Lichtenstein Amir Pnueli Sat 29 December 2012
- Symbolic model checking with rich assertional languages Y. Kesten O. Maler M. Marcus A. Pnueli E. Shahar Sat 29 December 2012
- Reduction and covering of infinite reachability trees Alain Finkel Sat 29 December 2012
- Formal verification of parallel programs Robert M. Keller Sat 29 December 2012
- Reasoning about systems with many processes Steven M. German A. Prasad Sistla Sat 29 December 2012
- Automatic verification of parameterized synchronous systems E. Emerson Kedar Namjoshi Sat 29 December 2012
- Limits for automatic verification of finite-state concurrent systems K R Apt D C Kozen Sat 29 December 2012
- A Theorem on Partial Well-Ordering of Sets of Vectors P. Erdøs R. Rado Sat 29 December 2012
- Partial well-ordering of sets of vectors R. Rado Sat 29 December 2012
- Ensuring completeness of symbolic verification methods for infinite-state systems Parosh Aziz Abdulla Bengt Jonsson Sat 29 December 2012
- Decidability of the termination problem for completely specified protocols Alain Finkel Sat 29 December 2012
- Automatic Verification of Parameterized Cache Coherence Protocols Giorgio Delzanno Sat 29 December 2012
- Expand, Enlarge, and Check: New Algorithms for the Coverability Problem of WSTS Gilles Geeraerts Jean-François Raskin Laurent Van Begin Sat 29 December 2012
- Expand, Enlarge and Check: New algorithms for the coverability problem of WSTS G. Geeraerts J.-F. Raskin L. Van Begin Sat 29 December 2012
- Expand, enlarge and check... made efficient Gilles Geeraerts Jean-François Raskin Laurent Van Begin Sat 29 December 2012
- Forward Reachability Analysis of Timed Petri Nets Parosh Abdulla Johann Deneux Pritha Mahata Aletta Nylén Sat 29 December 2012
- Decidability of Properties of Timed-Arc Petri Nets David Escrig Valentín Ruiz Olga Alonso Sat 29 December 2012
- Using forward reachability analysis for verification of timed Petri nets Parosh Aziz Abdulla Johann Deneux Pritha Mahata Aletta Nylén Sat 29 December 2012
- The Logic of Automata Brian Gaines Ladislav Kohout Sat 29 December 2012
- The Logic of Automata---Part II Arthur W. Burks Hao Wang Sat 29 December 2012
Library Size: 13G (12979 entries),
Last Updated: Apr 21, 2026, 15:38:46,
Build Time: N/A
