scientific article; zbMATH DE number 2040893
From MaRDI portal
Publication:4452049
zbMATH Open1037.68522MaRDI QIDQ4452049FDOQ4452049
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
Title of this publication is not available (Why is that?)
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
Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Cited In (11)
- Application of the trace assertion method to the specification, design, and verification of automaton programs
- Three case studies on verification of infinite-state systems
- Automata-based verification of programs with tree updates
- Title not available (Why is that?)
- On automation in the verification of software barriers: experience report
- Verification by augmented abstraction: The automata-theoretic view
- Title not available (Why is that?)
- Title not available (Why is that?)
- An automata based approach for verifying information flow properties
- Title not available (Why is that?)
- Bounded model checking of infinite state systems
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)
