Contributions of model checking and CoFI methodology to the development of space embedded software

2012 ◽  
Vol 19 (1) ◽  
pp. 39-68 ◽  
Author(s):  
Rodrigo Pastl Pontes ◽  
Paulo Claudino Véras ◽  
Ana Maria Ambrosio ◽  
Emília Villani
Keyword(s):  
Model Checking ◽  
Embedded Software

Model Checking Applied to Embedded Software of University Satellite

2013 ◽  
Vol 25 (1) ◽  
pp. 126-136
Author(s):  
Waldo A. F. Alencar ◽  
Emilia Villani
Keyword(s):  
Model Checking ◽  
Embedded Software

Model-Checking Middleware-Based Event-Driven Real-Time Embedded Software

2003 ◽  
pp. 154-181 ◽  
Author(s):  
Xianghua Deng ◽  
Matthew B. Dwyer ◽  
John Hatcliff ◽  
Georg Jung ◽  
Robby ◽  
...  
Keyword(s):  
Model Checking ◽  
Real Time ◽  
Embedded Software ◽  
Event Driven

scholarly journals Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

2016 ◽  
pp. 155-171 ◽  
Author(s):  
Eduard P. Enoiu ◽  
Daniel Sundmark ◽  
Adnan Čaušević ◽  
Robert Feldt ◽  
Paul Pettersson
Keyword(s):  
Model Checking ◽  
Test Generation ◽  
Embedded Software

Model checking embedded software of an industrial knitting machine

2011 ◽  
Vol 1 (2) ◽  
pp. 186 ◽  
Author(s):  
Thomas Reinbacher ◽  
Martin Horauer ◽  
Bastian Schlich ◽  
Jorg Brauer ◽  
Florian Scheuer
Keyword(s):  
Model Checking ◽  
Embedded Software

scholarly journals Incremental bounded model checking for embedded software

2017 ◽  
Vol 29 (5) ◽  
pp. 911-931 ◽  
Author(s):  
Peter Schrammel ◽  
Daniel Kroening ◽  
Martin Brain ◽  
Ruben Martins ◽  
Tino Teige ◽  
...  
Keyword(s):  
Model Checking ◽  
Embedded Software ◽  
Bounded Model Checking
Sign in / Sign up

Export Citation Format

Share Document