Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

77 items matching your criteria

Sort by:
Filter By:
Subject: D.2.4 - Software/Program Verification
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
Left Arrow
6 7
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 372 | Total: 454  | Access Period:
 980-1005
HTML
XML
PDF
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 393 | Total: 437  | Access Period:
 952-979
HTML
XML
PDF
Research Article
The Transition from VDL to VDM
Cliff Jones
10.3217/jucs-007-08-0631
 28-08-2001
 Unique: 404 | Total: 477  | Access Period:
 631-640
HTML
XML
PDF
Research Article
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method
Tommi Junttila
10.3217/jucs-007-04-0307
 28-04-2001
 Unique: 386 | Total: 445  | Access Period:
 307-326
HTML
XML
PDF
Research Article
Correctness of Efficient Real-Time Model Checking
Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf
10.3217/jucs-007-02-0194
 28-02-2001
 Unique: 438 | Total: 531  | Access Period:
 194-209
HTML
XML
PDF
Research Article
The Coalgebraic Class Specification Language CCSL
Jan Rothe, Hendrik Tews, Bart Jacobs
10.3217/jucs-007-02-0175
 28-02-2001
 Unique: 388 | Total: 451  | Access Period:
 175-193
HTML
XML
PDF
Research Article
Diagram Refinements for the Design of Reactive Systems
Dominique Cansell, Dominique Mery, Stephan Merz
10.3217/jucs-007-02-0159
 28-02-2001
 Unique: 389 | Total: 475  | Access Period:
 159-174
HTML
XML
PDF
Research Article
Modeling Sequences within the RelView System
Rudolf Berghammer, Thorsten Hoffmann
10.3217/jucs-007-02-0107
 28-02-2001
 Unique: 403 | Total: 463  | Access Period:
 107-123
HTML
XML
PDF
Research Article
Fred: An Approach to Generating Real, Correct, Reusable Programs from Proofs
John Crossley, Iman Poernomo
10.3217/jucs-007-01-0071
 28-01-2001
 Unique: 375 | Total: 446  | Access Period:
 71-88
HTML
XML
PDF
Research Article
An Open Software Architecture for the Verification of Industrial Controllers
Heinz Treseler, Olaf Stursberg, Paul W. H. Chung, Shuanghua Yang
10.3217/jucs-007-01-0037
 28-01-2001
 Unique: 402 | Total: 480  | Access Period:
 37-53
HTML
XML
PDF
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 295 | Total: 338  | Access Period:
 1088-1108
HTML
XML
PDF
Research Article
Nondeterministic Admissible Interference
John Mullins
10.3217/jucs-006-11-1054
 28-11-2000
 Unique: 315 | Total: 367  | Access Period:
 1054-1070
HTML
XML
PDF
Left Arrow
6 7

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK