Works matching IS 14332779 AND DT 2022 AND VI 24 AND IP 6

Results: 8

Formal methods and tools for industrial critical systems.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 973, doi. 10.1007/s10009-022-00687-7
By:
- Lluch Lafuente, Alberto;
- Mavridou, Anastasia
Publication type:
Article
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 999, doi. 10.1007/s10009-022-00686-8
By:
- Hansen, Simon Thrane;
- Thule, Casper;
- Gomes, Cláudio;
- van de Pol, Jaco;
- Palmieri, Maurizio;
- Inci, Emin Oguz;
- Madsen, Frederik;
- Alfonso, Jesús;
- Castellanos, José Ángel;
- Rodriguez, José Manuel
Publication type:
Article
SMT solving for the validation of B and Event-B models.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 1043, doi. 10.1007/s10009-022-00682-y
By:
- Schmidt, Joshua;
- Leuschel, Michael
Publication type:
Article
Randomized reachability analysis in UPPAAL: fast error detection in timed systems.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 1025, doi. 10.1007/s10009-022-00681-z
By:
- Kiviriga, Andrej;
- Larsen, Kim Guldstrand;
- Nyman, Ulrik
Publication type:
Article
Automated formal analysis of temporal properties of Ladder programs.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 977, doi. 10.1007/s10009-022-00680-0
By:
- Belo Lourenço, Cláudio;
- Cousineau, Denis;
- Faissole, Florian;
- Marché, Claude;
- Mentré, David;
- Inoue, Hiroaki
Publication type:
Article
Modeling and formal analysis of virtually synchronous cyber-physical systems in AADL.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 911, doi. 10.1007/s10009-022-00665-z
By:
- Lee, Jaehun;
- Bae, Kyungmin;
- Ölveczky, Peter Csaba;
- Kim, Sharon;
- Kang, Minseok
Publication type:
Article
GSDetector: a tool for automatic detection of bad smells in GRL goal models.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 889, doi. 10.1007/s10009-022-00662-2
By:
- Mohammed, Mawal A.;
- Hassine, Jameleddine;
- Alshayeb, Mohammad
Publication type:
Article
An automated framework for verifying or refuting trace properties of extended finite state machines.
Published in:
International Journal on Software Tools for Technology Transfer, 2022, v. 24, n. 6, p. 949, doi. 10.1007/s10009-022-00666-y
By:
- Taylor, Ramsay G.;
- Foster, Michael;
- North, Siobhán
Publication type:
Article