Formal Methods
Publications
61 - 70 out of 132Page size: 10
- 2018
- Published
Sim3Tanks: A Benchmark Model Simulator for Process Control and Monitoring
Farias, A. O., Queiroz, G. A. C., Bessa, I. V., Medeiros, R. L. P., Cordeiro, L. & Palhares, R., 2018, In : IEEE Access.Research output: Contribution to journal › Article
- Published
Towards Counterexample-guided k-Induction for Fast Bug Detection
Gadelha, M. Y. R., Monteiro, F. R., Cordeiro, L. & Nicole, D. A., 2018, 25th ACM SIGSOFT International Symposium on the Foundations of Software Engineering.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning
Reger, G., Voronkov, A. & Suda, M., 2018, 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS). Springer Nature, 17 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 2017
- Published
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting
Pratt-Hartmann, I. & Kourtis, G., 30 Oct 2017, In : Logical Methods in Computer Science. 13, 4, p. 1-39 39 p., 4.Research output: Contribution to journal › Article
- Published
A method to localize faults in concurrent C programs
S. Alves, E. H. D., Cordeiro, L. C. & L. Filho, E. B. D., 1 Oct 2017, In : The Journal of Systems and Software. 132, p. 336-352Research output: Contribution to journal › Article
- Published
A Single Pyramidal-Cell and Network Computational Model of the Hippocampal CA3 Region
Celikok, U., Navarro Lopez, E. & Sengor, N. S., 15 Jul 2017, 26th Annual Computational Neuroscience Meeting, CNS2017, (July 15–20, 2017, Antwerp, Belgium).. 1 ed. Vol. 1. 3 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Set of Support for Theory Reasoning
Reger, G. & Suda, M., 4 Jun 2017, 12th International Workshop on the Implementation of Logics .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
DOI: 10.29007/ndjg - Published
Bounded model checking of C plus plus programs based on the Qt cross-platform framework
Monteiro, F. R., Garcia, M. A. P., Cordeiro, L. C. & de Lima Filho, E. B., May 2017, In : Software Testing, Verification and Reliability. 27, 3Research output: Contribution to journal › Article
DOI: 10.1002/stvr.1632 - Published
Handling loops in bounded model checking of C programs via k-induction
Gadelha, M. Y. R., Ismail, H. I. & Cordeiro, L. C., 1 Feb 2017, In : International Journal on Software Tools for Technology Transfer. 19, 1, p. 97-114Research output: Contribution to journal › Article
- Accepted/In press
Verifying Digital Systems with MATLAB
Chaves, L., Bessa, I., Cordeiro, L., Kroening, D. & Lima, E., Feb 2017, (Accepted/In press) 26th ACM SIGSOFT International Symposium on Software Testing and Analysis .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution