scientific article; zbMATH DE number 2040893

MaRDI QIDQ4452049zbMATHFDO

Authors Javier Esparza

Publication date 11 February 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2710/27100021.htm

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Three case studies on verification of infinite-state systems
• An automata-theoretic approach to infinite-state systems
• Proceedings 14th International Workshop on Verification of Infinite-State Systems
• Formal Modeling and Analysis of Timed Systems
• Automatic verification methods for finite state systems. International workshop, Grenoble, France, June 12-14, 1989. Proceedings

Cited in

(10)

• An automata based approach for verifying information flow properties
• scientific article; zbMATH DE number 7577577 (Why is no real title available?)
• scientific article; zbMATH DE number 734956 (Why is no real title available?)
• Verification by augmented abstraction: The automata-theoretic view
• Bounded model checking of infinite state systems
• scientific article; zbMATH DE number 1748586 (Why is no real title available?)
• scientific article; zbMATH DE number 5245252 (Why is no real title available?)
• Automata-based verification of programs with tree updates
• Three case studies on verification of infinite-state systems
• Application of the trace assertion method to the specification, design, and verification of automaton programs

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452049)