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

78 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
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: 512 | Total: 599  | Access Period:
 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: 577 | Total: 716  | Access Period:
 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: 618 | Total: 715  | Access Period:
 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: 606 | Total: 728  | Access Period:
 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: 632 | Total: 742  | Access Period:
 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: 652 | Total: 802  | Access Period:
 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: 593 | Total: 706  | Access Period:
 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: 620 | Total: 891  | Access Period:
 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: 639 | Total: 747  | Access Period:
 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: 588 | Total: 718  | Access Period:
 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: 641 | Total: 773  | Access Period:
 37-53
HTML
XML
PDF
An Outline of PVS Semantics for UML Statecharts
Research Article
An Outline of PVS Semantics for UML Statecharts
Issa Traoré
10.3217/jucs-006-11-1088
 28-11-2000
 Unique: 514 | Total: 615  | Access Period:
 1088-1108
HTML
XML
PDF
Left Arrow
6 7

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

OK