scientific article
From MaRDI portal
Publication:2769585
zbMath0978.68679MaRDI QIDQ2769585
Thomas Ball, Sagar Chaki, Sriram K. Rajamani
Publication date: 5 February 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2031/20310158
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Computing methodologies and applications (68U99) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)
Related Items
Compositional analysis for verification of parameterized systems, Verification of SpecC using predicate abstraction, Context-aware counter abstraction, Specification and encoding of transaction interaction properties, Verification of Boolean programs with unbounded thread creation, On the \(\omega\)-language expressive power of extended Petri nets, Modular verification of multithreaded programs, Towards Efficient Verification of Systems with Dynamic Process Creation
Uses Software
