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

79 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
Moby/RT: A Tool for Specification and ...
Research Article
Moby/RT: A Tool for Specification and Verification of Real-Time Systems
Ernst-Rüdiger Olderog, Henning Dierks
10.3217/jucs-009-02-0088
 28-02-2003
 Unique: 1109 | Total: 1375
 88-105
HTML
XML
PDF
A Framework for Semantics of UML Sequence ...
Research Article
A Framework for Semantics of UML Sequence Diagrams in PVS
Demissie Aredo
10.3217/jucs-008-07-0674
 28-07-2002
 Unique: 1007 | Total: 1274
 674-697
HTML
XML
PDF
A Logic for Abstract State Machines
Research Article
A Logic for Abstract State Machines
Robert Stärk, Stanislas Nanchen
10.3217/jucs-007-11-0980
 28-11-2001
 Unique: 1029 | Total: 1278
 980-1005
HTML
XML
PDF
Verification of ASM Refinements Using ...
Research Article
Verification of ASM Refinements Using Generalized Forward Simulation
Gerhard Schellhorn
10.3217/jucs-007-11-0952
 28-11-2001
 Unique: 1211 | Total: 1467
 952-979
HTML
XML
PDF
The Transition from VDL to VDM
Research Article
The Transition from VDL to VDM
Cliff Jones
10.3217/jucs-007-08-0631
 28-08-2001
 Unique: 1090 | Total: 1333
 631-640
HTML
XML
PDF
Computational Complexity of the Place/Transition-Net ...
Research Article
Computational Complexity of the Place/Transition-Net Symmetry Reduction Method
Tommi Junttila
10.3217/jucs-007-04-0307
 28-04-2001
 Unique: 1051 | Total: 1286
 307-326
HTML
XML
PDF
Correctness of Efficient Real-Time Model ...
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: 1106 | Total: 1392
 194-209
HTML
XML
PDF
The Coalgebraic Class Specification Language ...
Research Article
The Coalgebraic Class Specification Language CCSL
Jan Rothe, Hendrik Tews, Bart Jacobs
10.3217/jucs-007-02-0175
 28-02-2001
 Unique: 1067 | Total: 1294
 175-193
HTML
XML
PDF
Diagram Refinements for the Design of ...
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: 1076 | Total: 1498
 159-174
HTML
XML
PDF
Modeling Sequences within the RelView ...
Research Article
Modeling Sequences within the RelView System
Rudolf Berghammer, Thorsten Hoffmann
10.3217/jucs-007-02-0107
 28-02-2001
 Unique: 1099 | Total: 1332
 107-123
HTML
XML
PDF
Fred: An Approach to Generating Real, ...
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: 985 | Total: 1226
 71-88
HTML
XML
PDF
An Open Software Architecture for the ...
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: 1132 | Total: 1383
 37-53
HTML
XML
PDF
Left Arrow
6 7

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

OK