You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Search all journals

Search journals, articles...

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Article type

Publication date

Subjects

Access

Articles (92)

Journals (0)

1-10 of 92 results for bounded model checking

Sort by:

Relevance

Select allExport selected citations

Select allExport selected citations

Sort by:

Relevance

Retricted access

Research article

First published 2004

ACTLS properties and Bounded Model Checking

Bożena Woźna

Fundamenta Informaticae

Retricted access

Research article

First published 2002

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Retricted access

Research article

First published 2014

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking

Bożena Woźna-Szcześniak, Andrzej Zbrzezny

Fundamenta Informaticae

Retricted access

Research article

First published 2004

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic

M. Kacprzak, A. Lomuscio, W. Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2007

Bounded Model Checking for the Existential Fragment of TCTL _{-G} and Diagonal Timed Automata

Bożena Woźna, Andrzej Zbrzezny

Fundamenta Informaticae

Retricted access

Research article

First published 2016-2

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems

Bożena Woźna-Szcześniak

Fundamenta Informaticae

Retricted access

Research article

First published 2003

Verifying Epistemic Properties of Multi-agent Systems via Bounded Model Checking

Wojciech Penczek, Alessio Lomuscio

Fundamenta Informaticae

Retricted access

Research article

First published 2009

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

E. Moritz Hahn, Holger Hermanns, Björn Wachter [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2011

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets

Artur Męski, Wojciech Penczek, Agata Półrola

Fundamenta Informaticae

Retricted access

Research article

First published 2012

A New Translation from ECTL* to SAT

Andrzej Zbrzezny

Fundamenta Informaticae

1
2
3
•••
10
10 / page