Computer aided verification. 8th international conference, CAV '96, New Brunswick, NJ, USA, July 31 -- August 3, 1996. Proceedings

DOI10.1007/3-540-61474-5zbMath1102.68301OpenAlexW4313355287MaRDI QIDQ1920213

No author found.

Publication date: 21 August 1996

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61474-5

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

Deciding the winner in parity games is in \(\mathrm{UP}\cap\mathrm{co-UP}\), Verifying persistent security properties, Complexity results on branching-time pushdown model checking, Analysis of a biphase mark protocol with Uppaal and PVS, Partial-order reduction in the weak modal mu-calculus, Finding and fixing faults, Model checking properties on reduced trace systems, An automatic abstraction technique for verifying featured, parameterised systems, Model checking for process rewrite systems and a class of action-based regular properties, A process algebra with distributed priorities, Reasoning about nondeterministic and concurrent actions: A process algebra approach, Using heuristic search for finding deadlocks in concurrent systems, Combining deduction and model checking into tableaux and algorithms for converse-PDL., Iterating transducers, Automatic verification of real-time systems with discrete probability distributions.