Works matching DE "COMPUTER software correctness"

Results: 252

Solving the parity problem in one-dimensional cellular automata.

Published in:

Natural Computing, 2013, v. 12, n. 3, p. 323, doi. 10.1007/s11047-013-9374-9

By:

Betel, Heather;
Oliveira, Pedro;
Flocchini, Paola

Publication type:

Article

On methods and tools for rigorous system design.

Published in:

International Journal on Software Tools for Technology Transfer, 2021, v. 23, n. 5, p. 679, doi. 10.1007/s10009-021-00632-0

By:

Bliudze, Simon;
Katsaros, Panagiotis;
Bensalem, Saddek;
Wirsing, Martin

Publication type:

Article

Formal specification and implementation of an automated pattern-based parallel-code generation framework.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 2, p. 183, doi. 10.1007/s10009-017-0465-2

By:

Pérez, Gervasio;
Yovine, Sergio

Publication type:

Article

From high-level modeling toward efficient and trustworthy circuits.

Published in:

International Journal on Software Tools for Technology Transfer, 2019, v. 21, n. 2, p. 143, doi. 10.1007/s10009-017-0462-5

By:

Zaraket, Fadi A.;
Jaber, Mohamad;
Noureddine, Mohamad;
Falcone, Yliès

Publication type:

Article

Slicing ATL model transformations for scalable deductive verification and fault localization.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 6, p. 645, doi. 10.1007/s10009-018-0491-8

By:

Cheng, Zheng;
Tisi, Massimo

Publication type:

Article

TSTL: the template scripting testing language.

Published in:

International Journal on Software Tools for Technology Transfer, 2018, v. 20, n. 1, p. 57, doi. 10.1007/s10009-016-0445-y

By:

Holmes, Josie;
Groce, Alex;
Pinto, Jervis;
Mittal, Pranjal;
Azimi, Pooria;
Kellar, Kevin;
O'Brien, James

Publication type:

Article

Synthesis of circular compositional program proofs via abduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2017, v. 19, n. 5, p. 535, doi. 10.1007/s10009-015-0397-7

By:

Dillig, Isil;
Dillig, Thomas;
Li, Boyang;
McMillan, Ken;
Sagiv, Mooly

Publication type:

Article

Counting dynamically synchronizing processes.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 517, doi. 10.1007/s10009-015-0411-0

By:

Ganjei, Zeinab;
Rezine, Ahmed;
Eles, Petru;
Peng, Zebo

Publication type:

Article

Parameterized verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 469, doi. 10.1007/s10009-016-0424-3

By:

Abdulla, Parosh;
Delzanno, Giorgio

Publication type:

Article

Parameterized verification through view abstraction.

Published in:

International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 5, p. 495, doi. 10.1007/s10009-015-0406-x

By:

Abdulla, Parosh;
Haziza, Frédéric;
Holík, Lukáš

Publication type:

Article

AutoProof meets some verification challenges.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 745, doi. 10.1007/s10009-014-0300-y

By:

Tschannen, Julian;
Furia, Carlo;
Nordio, Martin

Publication type:

Article

Solving the VerifyThis 2012 challenges with VeriFast.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 659, doi. 10.1007/s10009-014-0310-9

By:

Jacobs, Bart;
Smans, Jan;
Piessens, Frank

Publication type:

Article

KIV: overview and VerifyThis competition.

Published in:

International Journal on Software Tools for Technology Transfer, 2015, v. 17, n. 6, p. 677, doi. 10.1007/s10009-014-0308-3

By:

Ernst, Gidon;
Pfähler, Jörg;
Schellhorn, Gerhard;
Haneberg, Dominik;
Reif, Wolfgang

Publication type:

Article

Algorithmic program synthesis: introduction.

Published in:

International Journal on Software Tools for Technology Transfer, 2013, v. 15, n. 5/6, p. 397, doi. 10.1007/s10009-013-0287-9

By:

Bodik, Rastislav;
Jobstmann, Barbara

Publication type:

Article

Runtime verification of concurrency-specific correctness criteria.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 3, p. 291, doi. 10.1007/s10009-011-0210-1

By:

Qadeer, Shaz;
Tasiran, Serdar

Publication type:

Article

Deductive software verification.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 397, doi. 10.1007/s10009-011-0211-0

By:

Filliâtre, Jean-Christophe

Publication type:

Article

Extrapolating (omega-)regular model checking.

Published in:

International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 2, p. 119, doi. 10.1007/s10009-011-0209-7

By:

Legay, Axel

Publication type:

Article

SMT solvers: new oracles for the HOL theorem prover.

Published in:

International Journal on Software Tools for Technology Transfer, 2011, v. 13, n. 5, p. 419, doi. 10.1007/s10009-011-0188-8

By:

Weber, Tjark

Publication type:

Article

A framework for counterexample generation and exploration.

Published in:

International Journal on Software Tools for Technology Transfer, 2007, v. 9, n. 5/6, p. 429, doi. 10.1007/s10009-007-0047-9

By:

Chechik, Marsha;
Gurfinkel, Arie

Publication type:

Article

A Trust-Based Approach for Correctness verification of Query Results in Data Outsourcing.

Published in:

Journal of Computing & Security, 2014, v. 1, n. 1, p. 3

By:

Noferesti, Morteza;
Ghasemi, Simin;
Hadavi, Mohammad Ali;
Jalili, Rasool

Publication type:

Article

Fine-grained Concurrency with Separation Logic.

Published in:

Journal of Philosophical Logic, 2011, v. 40, n. 5, p. 583, doi. 10.1007/s10992-011-9195-1

By:

Kapoor, Kalpesh;
Lodaya, Kamal;
Reddy, Uday

Publication type:

Article

Mathematical model and motion analysis of a wheeled vibro-impact locomotion system.

Published in:

Vibroengineering Procedia, 2022, v. 41, p. 77, doi. 10.21595/vp.2022.22422

By:

Korendiy, Vitaliy;
Gursky, Volodymyr;
Kachur, Oleksandr;
Dmyterko, Petro;
Kotsiumbas, Oleh;
Havrylchenko, Oleksandr

Publication type:

Article

Determining basic characteristics of stars from evolutionary computations.

Published in:

Astronomy Reports, 2017, v. 61, n. 3, p. 193, doi. 10.1134/S1063772917030076

By:

Sichevskij, S.

Publication type:

Article

A Fractional Lower-order Bi-spectrum Estimation Method Based on Autoregressive Model.

Published in:

Instrumentation, Mesures, Métrologies, 2019, v. 18, n. 1, p. 31, doi. 10.18280/i2m.180105

By:

Baohai Yang

Publication type:

Article

Inconsistency Proofs for ASP: The ASP - DRUPE Format.

Published in:

Theory & Practice of Logic Programming, 2019, v. 19, n. 5/6, p. 891, doi. 10.1017/S1471068419000255

By:

ALVIANO, MARIO;
DODARO, CARMINE;
FICHTE, JOHANNES K.;
HECHER, MARKUS;
PHILIPP, TOBIAS;
RATH, JAKOB

Publication type:

Article

“So my program doesn't run!” Definition, origins, and practical expressions of students' (mis)conceptions of correctness.

Published in:

Computer Science Education, 2008, v. 18, n. 2, p. 135, doi. 10.1080/08993400802156400

By:

Ben-David Kolikant, Y.;
Mussai, M.

Publication type:

Article

MUTATION TESTING: OBJECT-ORIENTED MUTATION AND TESTING TOOLS.

Published in:

Journal of Information Technology & Applications, 2011, v. 1, n. 2, p. 105

By:

Ivanković, Z.;
Markoski, B.;
Radosav, D.

Publication type:

Article

Red–black trees with constant update time.

Published in:

Acta Informatica, 2019, v. 56, n. 5, p. 391, doi. 10.1007/s00236-019-00335-9

By:

Elmasry, Amr;
Kahla, Mostafa;
Ahdy, Fady;
Hashem, Mahmoud

Publication type:

Article

Verification of heap manipulating programs with ordered data by extended forest automata.

Published in:

Acta Informatica, 2016, v. 53, n. 4, p. 357, doi. 10.1007/s00236-015-0235-0

By:

Abdulla, Parosh;
Holík, Lukáš;
Jonsson, Bengt;
Lengál, Ondřej;
Trinh, Cong;
Vojnar, Tomáš

Publication type:

Article

Correct hardware synthesis.

Published in:

Acta Informatica, 2011, v. 48, n. 7/8, p. 363, doi. 10.1007/s00236-011-0142-y

By:

Perna, Juan;
Woodcock, Jim;
Sampaio, Augusto;
Iyoda, Juliano

Publication type:

Article

The simplest binary word with only three squares.

Published in:

RAIRO - Theoretical Informatics & Applications, 2021, v. 55, p. 1, doi. 10.1051/ita/2021001

By:

Gabric, Daniel;
Shallit, Jeffrey

Publication type:

Article

SURVEY QUESTIONNAIRE FOR THE STUDY ON OCCUPATIONAL SAFETY CULTURE IN A PRODUCTION PLANT. CONSTRUCTION AND STATISTICAL VERIFICATION OF DATA CORRECTNESS.

Published in:

Management & Production Engineering Review (MPER), 2019, v. 10, n. 2, p. 101, doi. 10.24425/mper.2019.129573

By:

Krupa, Patryk;
Gabryelewicz, Izabela;
Edl, Milan;
Pantya, Peter;
Patalas-Maliszewska, Justyna

Publication type:

Article

Back-stepping stabilization of chaotic systems based on triangular form.

Published in:

Modern Physics Letters B, 2019, v. 33, n. 12, p. N.PAG, doi. 10.1142/S0217984919501537

By:

Peng, Chenchen

Publication type:

Article

Controllability of fractional-order directed complex networks.

Published in:

Modern Physics Letters B, 2014, v. 28, n. 27, p. 1, doi. 10.1142/S021798491450211X

By:

Hao Zhang;
Di-Yi Chen;
Bei-Bei Xu;
Run-Fan Zhang

Publication type:

Article

Sports training auxiliary decision support system based on neural network algorithm.

Published in:

Neural Computing & Applications, 2023, v. 35, n. 6, p. 4211, doi. 10.1007/s00521-022-07137-0

By:

Wang, Tianyi

Publication type:

Article

A neural-based concurrency control algorithm for database systems.

Published in:

Neural Computing & Applications, 2013, v. 22, n. 1, p. 161, doi. 10.1007/s00521-011-0691-6

By:

Sheikhan, Mansour;
Rohani, Mohsen;
Ahmadluei, Saeed

Publication type:

Article

Generalized Meeting Businessmen Problem.

Published in:

Engineering Letters, 2019, v. 27, n. 3, p. 1

By:

Challita, Khalil

Publication type:

Article

On the Consolidation of Mixed Criticalities Applications on Multicore Architectures.

Published in:

Journal of Electronic Testing, 2017, v. 33, n. 1, p. 65, doi. 10.1007/s10836-016-5636-7

By:

Esposito, Stefano;
Violante, Massimo

Publication type:

Article

Why There is no General Solution to the Problem of Software Verification.

Published in:

Foundations of Science, 2020, v. 25, n. 3, p. 541, doi. 10.1007/s10699-019-09611-w

By:

Symons, John;
Horner, Jack K.

Publication type:

Article

Коректність пласкої класифікації.

Published in:

Èlektronnoe Modelirovanie, 2023, v. 45, n. 2, p. 34, doi. 10.15407/emodel.45.02.034

By:

Ярошинський, М. С.;
Сіроткін, О. В.;
Сінько, Д. П.;
Гунько, С. Б.;
Манолюк, Д. О.

Publication type:

Article

Solution of Problems of Wave Scattering by Bodies Having Boundary Breaks and Fractal-Like Bodies of Rotation.

Published in:

Optics & Spectroscopy, 2019, v. 126, n. 5, p. 466, doi. 10.1134/S0030400X19050175

By:

Kyurkchan, A. G.;
Manenkov, S. A.;
Smirnova, N. I.

Publication type:

Article

Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging.

Published in:

IEEE Transactions on Software Engineering, 2011, v. 37, n. 1, p. 109, doi. 10.1109/TSE.2010.23

By:

Chen, T.Y.;
Tse, T.H.;
Zhou, Zhi Quan

Publication type:

Article

Proof-theoretic semantics, paradoxes and the distinction between sense and denotation.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 2, p. 495, doi. 10.1093/logcom/exu028

By:

TRANCHINI, LUCA

Publication type:

Article

Proof automation for functional correctness in separation logic.

Published in:

Journal of Logic & Computation, 2016, v. 26, n. 2, p. 641, doi. 10.1093/logcom/exu032

By:

MACLEAN, EWEN;
IRELAND, ANDREW;
GROV, GUDMUND

Publication type:

Article

The recursive path and polynomial ordering for first-order and higher-order terms.

Published in:

Journal of Logic & Computation, 2013, v. 23, n. 1, p. 263, doi. 10.1093/logcom/exs027

By:

Bofill, Miquel;
Borralleras, Cristina;
Rodríguez-Carbonell, Enric;
Rubio, Albert

Publication type:

Article

Quantifier Elimination for Quantified Propositional Logics on Kripke Frames of Type ω.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 4, p. 649

By:

BAAZ, MATTHIAS;
PREINING, NORBERT

Publication type:

Article

Proof Nets for Basic Discontinuous Lambek Calculus.

Published in:

Journal of Logic & Computation, 2008, v. 18, n. 2, p. 239, doi. 10.1093/logcom/exm089

By:

Morrill, Glyn;
Fadda, Mario

Publication type:

Article

Formal Verification of an Incremental Garbage Collector.

Published in:

Journal of Logic & Computation, 2003, v. 13, n. 6, p. 815, doi. 10.1093/logcom/13.6.815

By:

Coupet-Grimal, Solange;
Nouvet, Catherine

Publication type:

Article

Programming by combining general logic programs.

Published in:

Journal of Logic & Computation, 1999, v. 9, n. 1, p. 7, doi. 10.1093/logcom/9.1.7

By:

Brogi, A;
Contiero, S;
Turini, F

Publication type:

Article

Performance Analysis of Naïve Bayes Algorithm on Crime Data using Rapid Miner.

Published in:

International Journal of Advanced Research in Computer Science, 2017, v. 8, n. 5, p. 683

By:

Ahmed, Waseem;
TabrezNafis, Md.;
Biswas, Siddhartha Sankar

Publication type:

Article