![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Formal Methods in System Design, Volume 23
Volume 23, Number 1, July 2003
- Bertrand Jeannet:
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. 5-37 - Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz:
An Abstraction Algorithm for the Verification of Level-Sensitive Latch-Based Netlists. 39-65 - Jürgen Ruf, Thomas Kropf:
Symbolic Verification and Analysis of Discrete Timed Systems. 67-108
Volume 23, Number 2, September 2003
- Marcelo Glusman, Shmuel Katz:
A Mechanized Proof Environment for the Convenient Computations Proof Method. 115-142 - Heike Wehrheim:
Behavioral Subtyping Relations for Active Objects. 143-170 - Ravi Hosabettu, Ganesh Gopalakrishnan, Mandayam K. Srivas:
Formal Verification of a Complex Pipelined Processor. 171-213
Volume 23, Number 3, November 2003
- Janusz A. Brzozowski, Zoltán Ésik:
Hazard Algebras. 223-256 - Giorgio Delzanno:
Constraint-Based Verification of Parameterized Cache Coherence Protocols. 257-301 - Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer:
From Pre-Historic to Post-Modern Symbolic Model Checking. 303-327
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.