Register
|
Login
Full Text
Author
Title
Submit manuscript
About
News
Articles
Issues
Author Guidelines
Special Issues
Call for Papers
Imprint
Editorial Team
Contacts
Filter
Search
Full Text
Author
Title
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
Research Article
(2703)
Editorial
(411)
by Journal
by Funding Agency
Clear filters
Powered by
78 items matching your criteria
Sort by:
Publication date newest
Publication date oldest
Total views
Unique views
Best match
Citations count
Highly accessed (last month)
Highly accessed (last 3 months)
Highly accessed (last 6 months)
Highly accessed (last year)
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
1
2
3
4
5
Select:
All
None
Download:
Citation
XML
PDF
Export format
RIS
BIBTEX
Bookends
EasyBib
EndNote (tagged)
EndNote 8 (xml)
Medlars
Mendeley
Papers
RefWorks Tagged
Ref Manager
Zotero
Mods (xml)
Plain text (txt)
Download
Research Article
CML: C Modeling Language
Frederico Jr.
,
Ricardo Lima
,
Marcio Cornelio
,
Sergio Soares
,
Paulo Maciel
,
Raimundo Barreto
,
Eduardo Tavares
10.3217/jucs-013-06-0682
28-06-2007
Unique: 645 | Total: 807
| Access Period:
682-700
HTML
XML
PDF
Research Article
Realising the Benefits of Formal Methods
Anthony Hall
10.3217/jucs-013-05-0669
28-05-2007
Unique: 500 | Total: 582
| Access Period:
669-678
HTML
XML
PDF
Research Article
The Verification Grand Challenge
Jim Woodcock
,
Richard Banach
10.3217/jucs-013-05-0661
28-05-2007
Unique: 596 | Total: 767
| Access Period:
661-668
HTML
XML
PDF
Research Article
Automated Formal Methods Enter the Mainstream
John Rushby
10.3217/jucs-013-05-0650
28-05-2007
Unique: 531 | Total: 668
| Access Period:
650-660
HTML
XML
PDF
Research Article
Model Checking: Software and Beyond
Edmund Clarke
,
Flavio Lerda
10.3217/jucs-013-05-0639
28-05-2007
Unique: 658 | Total: 764
| Access Period:
639-649
HTML
XML
PDF
Research Article
Formal Methods: Theory Becoming Practice
Jean-Raymond Abrial
10.3217/jucs-013-05-0619
28-05-2007
Unique: 560 | Total: 679
| Access Period:
619-628
HTML
XML
PDF
Research Article
Formal Methods for Specifying, Validating, and Verifying Requirements
Constance Heitmeyer
10.3217/jucs-013-05-0607
28-05-2007
Unique: 529 | Total: 647
| Access Period:
607-618
HTML
XML
PDF
Research Article
Software Is More Than Code
Sriram Rajamani
10.3217/jucs-013-05-0602
28-05-2007
Unique: 498 | Total: 581
| Access Period:
602-606
HTML
XML
PDF
Research Article
Formal MethodsGuest Editorial
Richard Banach
10.3217/jucs-013-05-0593
28-05-2007
Unique: 512 | Total: 605
| Access Period:
593-601
HTML
XML
PDF
Research Article
Verifying Real-Time Properties of tccp Programs
María Alpuente
,
María del Mar Gallardo
,
Ernesto Pimentel
,
Alicia Villanueva
10.3217/jucs-012-11-1551
28-11-2006
Unique: 669 | Total: 837
| Access Period:
1551-1573
HTML
XML
PDF
Research Article
Variations on Itai-Rodeh Leader Election for Anonymous Rings and their Analysis in PRISM
Wan Fokkink
,
Jun Pang
10.3217/jucs-012-08-0981
28-08-2006
Unique: 610 | Total: 755
| Access Period:
981-1006
HTML
XML
PDF
Research Article
On-line Monitoring of Metric Temporal Logic with Time-Series Constraints Using Alternating Finite Automata
Doron Drusinsky
10.3217/jucs-012-05-0482
28-05-2006
Unique: 603 | Total: 715
| Access Period:
482-498
HTML
XML
PDF
1
2
3
4
5
This website uses cookies in order to improve your web experience.
Read our Cookies Policy
OK