The SCEAS System
Navigation Menu

Journals in DBLP

STTT
2000, volume: 3, number: 1

  1. Fausto Giunchiglia, Paolo Traverso
    Theorem proving in technology transfer: the user's point of view. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:1-12 [Journal]
  2. Matt Kaufmann
    Verification of Year 2000 conversion rules using the ACL2 theorem prover. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:13-19 [Journal]
  3. Ben L. Di Vito
    High-automation proofs for properties of requirements models. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:20-31 [Journal]
  4. Deepak Kapur, Mahadevan Subramaniam
    Using an induction prover for verifying arithmetic circuits. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:32-65 [Journal]
  5. Serge Autexier, Dieter Hutter, Bruno Langenstein, Heiko Mantel, Georg Rock, Axel Schairer, Werner Stephan, Roland Vogt, Andreas Wolpers
    VSE: formal methods meet industrial needs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:66-77 [Journal]
  6. Paolo Traverso, Piergiorgio Bertoli
    Mechanized result verification: an industrial application. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:78-92 [Journal]
  7. Alexander Aiken, Manuel Fähndrich, Zhendong Su
    Detecting races in Relay Ladder Logic programs. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:3, n:1, pp:93-105 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002