Sage Journals: Discover world-class research

Retricted access

Research article

First published 2014-2-20

Effective verification of confidentiality for multi-threaded programs

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

Journal of Computer Security

Retricted access

Research article

First published 2010-8

Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes

Marco Montali, Paolo Torroni, Federico Chesani [...]

Fundamenta Informaticae

Free access

Research article

First published 2007-5

Formal Verification for C Program

Junyan Qian, Baowen Xu

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2011-2

Program transformation for development,verification,and synthesis of programs

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti [...]

Intelligenza Artificiale

Retricted access

Research article

First published 2025-7

Quality Verification in Surgical Subspecialty Programs

Anton N. Sidawy

The American Surgeon™

Retricted access

Research article

First published 2008-5

Towards Verification of Java Programs in perICS

Andrzej Zbrzezny, Bożena Woźna

Fundamenta Informaticae

Retricted access

Research article

First published 2017

Program Verification using Constraint Handling Rules and Array Constraint Generalizations *

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Open access

Research article

First published 2012-6

Verification of a Program for the Control of a Robotic Workcell with the Use of AR

Jozef Novak-Marcincin, Miroslav Janak, Jozef Barna [...]

International Journal of Advanced Robotic Systems

Retricted access

Research article

First published 2015-10

A Rule-based Verification Strategy for Array Manipulating Programs

Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2021

Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace Abstraction *

Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen

Fundamenta Informaticae

Search results